Number
(select)
(select)
Title
Author(s)
| Catalog Number | Abstract (select) | Postscript (select) | Title | Author(s) |
| cap-tr-10 | |
|
The FAD Project | C. W. Liew, L. Steinberg |
| cap-tr-11 | |
|
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design | Thomas Ellman, John Keane, Mark Schwabacher |
| cap-tr-13 | |
|
Constrained REDO: An Alternative to REPLAY | C. W. Liew, L. I. Steinberg |
| cap-tr-14 | |
|
Abstraction and Decomposition in Hillclimbing Design Optimization | Thomas Ellman, Mark Schwabacher |
| cap-tr-15 | |
|
Approximation Operators in Distributed Modeling | Sui-ky Ringo Ling and Louis Steinberg |
| cap-tr-16 | |
|
Modeling and Simulation for Automated Yacht Design | Andrew Gelsey |
| cap-tr-17 | |
|
Learning Prototype-Selection Rules for Case-Based Iterative Design | Mark Schwabacher, Haym Hirsh, Thomas Ellman |
| cap-tr-18 | |
|
MSG: A Computer System for Automated Modeling of Heat Transfer | Sui-ky Ringo Ling, Louis Steinberg, Yogesh Jaluria |
| cap-tr-2 | |
|
Combining Innovation and Perspiration | Louis Steinberg |
| cap-tr-21 | |
|
Intelligent Automated Quality Control for Computational Simulation | Andrew Gelsey |
| cap-tr-6 | |
|
PROGRESS REPORT FOR YEAR 2 OF THE RESEARCH GRANT ON AI AND DESIGN: | Saul Amarel, PI, Louis Steinberg, Co-PI, Tom Ellman, Andrew Gelsey,Haym Hirsh, Jerry Richter |
| cap-tr-7 | |
|
The Rutgers CAP Project Design Associate | Thomas Ellman, John Keane, Mark Schwabacher |
| cap-tr-8 | |
|
Artificial Intelligence Research Issues in Computational Simulation of Physical System Behavior | Andrew Gelsey |
| cap-tr-9 | |
|
Model Generation from Physical Principles: A Progress Report | Ringo Ling and Louis Steinberg |
| dcs-tr-282 | |
|
Frugal Methods for the Independent Set and Graph Coloring Problems. | Magnus M. Halldorsson |
| dcs-tr-290 | |
|
SHAPE: A Parallelization Tool for Sparse Matrix Computations | Sesh Venugopal, Vijay K. Naik |
| dcs-tr-291 | |
|
An Efficient Algorithm for Ordering Random Genomic Clones | Kyungsook Han, Michiel Noordewier |
| dcs-tr-292 | |
|
Lower and Upper Bounds for Incremental Algorithms | Arthur Michael Berman |
| dcs-tr-294 | |
|
LECTURE NOTES ON THE NEW AKS SORTING NETWORK | V. Chv\'atal |
| dcs-tr-295 | |
|
Description Logics are not just for the FLIGHTLESS-BIRDS: A New Look at the Utility and Foundations of Description Logics | Alex Borgida |
| dcs-tr-295a | |
|
On the Relationship between Description Logic and Predicate Logic Queries. | Alex Borgida, |
| dcs-tr-296 | |
|
Mobile Wireless Computing: Solutions and Challenges in Data Management | Tomasz Imielinski, B. R. Badrinath |
| dcs-tr-297 | |
|
Lower Bounds for Uniform Constant Depth Circuits | Vivek Gore |
| dcs-tr-299 | |
|
Scheduling and Code Generation for Parallel Architectures | Tao Yang |
| dcs-tr-300 | |
|
Parallelizing Unstructured Sparse Matrix Computations on Large-scale Multiprocessors | Seshadri Venugopal |
| dcs-tr-301 | |
|
Schema Correspondences between Objects | Vipul Kashyap, Amit Sheth |
| dcs-tr-306 | |
|
Theoretical Foundations of Recurrent Neural Networks | Hava T. Siegelmann |
| dcs-tr-307 | |
|
Semantics-based Information Brokering | Vipul Kashyap and Amit Sheth |
| dcs-tr-308 | |
|
Compositional Modeling for Spatial Problems | Kyungsook Han |
| dcs-tr-310 | |
|
A framework for delivering multicast messages in networks with mobile hosts | Arup ACHARYA and B. R. BADRINATH |
| dcs-tr-311 | |
|
PYRAMID BROADCASTING for VIDEO ON DEMAND SERVICE | S. Viswanathan & T Imielinski |
| dcs-tr-312 | |
|
Adaptive Wireless Information Systems | T Imielinski & S. Viswanathan |
| dcs-tr-313 | |
|
Parallel Triangulation of a Set of Points for Coarse Grained Multicomputers | Gabriela Hristescu |
| dcs-tr-314 | |
|
I-TCP: Indirect TCP for Mobile Hosts | Ajay Bakre and B.R. Badrinath |
| dcs-tr-315 | |
|
An Inter-Reference Gap Model for Temporal Locality in Program Behavior | Vidyadhar Phalke, B. Gopinath |
| dcs-tr-316 | |
|
Using Spatial Locality for Trace Compression | B. Gopinath, Vidyadhar Phalke |
| dcs-tr-318 | |
|
Mapping Techniques and Performance Analysis for an Interconnection Cached Multiprocessor Network | Vipul Gupta |
| dcs-tr-319 | |
|
Finding pattern matchings for permutations | Louis Ibarra |
| dcs-tr-320 | |
|
DATAMAN project: Towards a Mosaic-like Location-Dependant Information Service for Mobile Clients | Arup Acharya, Tomasz Imielinski and B. R. Badrinath |
| dcs-tr-321 | |
|
Tractable Reasoning in Knowledge Representation Systems | Mukesh Dalal |
| dcs-tr-322 | |
|
ON THE COMPLEXITY OF MATRIX BALANCING | B. Kalantari, L. Khachiyan, and A. Shokoufandeh |
| dcs-tr-323 | |
|
MODELING AND MANAGING PROGRAM REFERENCES IN A MEMORY HIERARCHY | Vidyadhar Phalke, Ph.D. |
| dcs-tr-324 | |
|
Database Server Organization for Handling Mobile Clients | B. R. Badrinath and Shirish Phatak |
| dcs-tr-325 | |
|
COMPUTING INTEGRAL POINTS IN CONVEX SEMI-ALGEBRAIC SETS | L.~Khachiyan and L.~Porkolab |
| dcs-tr-326 | |
|
Scalable, flow-sensitive type inference for statically typed object-oriented languages | Ramkrishna Chatterjee and Barbara Ryder |
| dcs-tr-328 | |
|
GENERALIZATION OF TAYLOR'S THEOREM AND NEWTON'S METHOD VIA A NEW FAMILY OF DETERMINANTAL INTERPOLATION FORMULAS | Bahman Kalantari |
| dcs-tr-329 | |
|
ON THE ORDER OF CONVERGENCE OF A DETERMINANTAL FAMILY OF ROOT-FINDING METHODS | Bahman Kalantari |
| dcs-tr-330 | |
|
A LOWER BOUND ON DETERMINANTS FROM LINEAR PROGRAMMING | Bahman Kalantari |
| dcs-tr-331 | |
|
Automated Classification of DNA Structure from Sequence Information | David M. Loewenstern, Helen M. Berman and Haym Hirsh |
| dcs-tr-332 | |
|
Hardness and Algorithms for Local Register Allocation | V. Liberatore M. Farach Ulrich Kremer |
| dcs-tr-333 | |
|
On Providing Support For Protocol Adaptation in Mobile Wireless Networks | P. Sudame, B. R. Badrinath |
| dcs-tr-334 | |
|
On the Complexity of Real and Integer Semidefinite Programming | Lorant Porkolab |
| dcs-tr-335 | |
|
Comparing Flow- and Context-Sensitivity on the Modification Side-effects Problem | P. A. Stocks, B. G. Ryder, W. A. Landi, and S. Zhang |
| dcs-tr-336 | |
|
A Schema for Interprocedural Modification Side-Effect Analysis with Pointer Aliasing | William A. Landi, Barbara G. Ryder, Philip A. Stocks, Sean Zhang, Rita Altucher |
| dcs-tr-337 | |
|
MRSVP: A Reservation Protocol for an Integrated Services Packet Network with Mobile Hosts | Anup K. Talukdar, B. R. Badrinath, Arup Acharya |
| dcs-tr-338 | |
|
Using Aspect Graphs to Control the Recovery and Tracking of Deformable Models | Sven J. Dickinson, Dimitri Metaxas |
| dcs-tr-339 | |
|
View-Based Object Recognition Using Saliency Maps | Ali Shokoufandeh, Ivan Marsic, Sven J. Dickinson |
| dcs-tr-340 | |
|
Applications of Rule-Base Coverage Measures to Expert System | Valerie Barr |
| dcs-tr-341 | |
|
Complexity of Concrete Type-inference in the Presence of Exceptions | R. Chatterjee, Barbara G. Ryder, William Landi |
| dcs-tr-342 | |
|
On the Genus of the Star Graph | Sarmad Abbasi |
| dcs-tr-343 | |
|
Information Brokering Over Heterogeneous Digital Data: A Metadata- | Vipul Kashyap |
| dcs-tr-344 | |
|
Shared Virtual Memory: Progress and Challenges | Liviu Iftode (Rutgers University) and Jaswinder Pal Singh (Princeton |
| dcs-tr-345 | |
|
Shock Graphs and Shape Matching | Kaleem Siddiqi, Ali Shokoufandeh, Sven J. Dickinson, Steven W. Zucker |
| dcs-tr-346 | |
|
Optimal buffering algorithms for client-server VBR video retrievals | Junbiao Zhang |
| dcs-tr-347 | |
|
The Phase Space Dynamics of Neuronal Systems: I, Model and Experiments. | Arunava Banerjee |
| dcs-tr-349 | |
|
Modular Concrete Type-Inference for Statically Typed Object-oriented Programming Languages | R. Chatterjee and B.Ryder |
| dcs-tr-350 | |
|
Experiments with Combined Analysis for Pointer Aliasing | Sean Zhang, Barbara G. Ryder, and William A. Landi |
| dcs-tr-351 | |
|
An Architecture for Mobile Databases | B. R. Badrinath S. Phatak |
| dcs-tr-352 | |
|
GADO: A Genetic Algorithm for Continuous Design Optimization | Khaled Mohamed Rasheed |
| dcs-tr-353 | |
|
MASPLAS '98 | |
| dcs-tr-354 | |
|
Automating Software Documentation | Karen Paffendorf |
| dcs-tr-355 | |
|
Human Performance on Clustering Web Pages | Sofus A. Macskassy, Arunava Banerjee, Brian D. Davison, Haym Hirsh |
| dcs-tr-356 | |
|
A unified framework for exceptions in workflow/process models -- an approach based on persistent objects | Alex Borgida and Takahiro Murata |
| dcs-tr-357 | |
|
Rate Adaptation Schemes in Networks with Mobile Hosts. | Anup K. Talukdar, B. R. Badrinath, Arup Acharya |
| dcs-tr-358 | |
|
VisPoly; A Software of Visiblitlity Graph with Multiple Reflection and its Application of Wireless Communication Design | Min Fan |
| dcs-tr-359 | |
|
Scaling Dualities and Self-Concordant Homogeneous Programming in Finite Dimensional Spaces | Bahman Kalantari |
| dcs-tr-360 | |
|
Relevant Context Inference | Ramkrishna Chatterjee, Barbara Ryder and William Landi |
| dcs-tr-361 | |
|
On the Arithmetic-Geometric Mean Inequality and its Relationship to Linear Programming, Matrix Scaling, and Gordan's Theorem | Bahman Kalantari |
| dcs-tr-362 | |
|
Gathercast: An efficient multi-point to point aggregation mechanism in IP networks | B. R. Badrinath and Pradeep Sudame |
| dcs-tr-363 | |
|
A Framework for Qualitative Performance Prediction | Chung-Hsing Hsu and Ulrich Kremer |
| dcs-tr-364 | |
|
Multi-hop Dynamic Geographic Routing | Julio C. Navas |
| dcs-tr-365 | |
|
Geographic Routing User's Guide | Julio C. Navas |
| dcs-tr-367 | |
|
Practical Pointer Aliasing Analysis | Xiang-Xiang Sean Zhang |
| dcs-tr-368 | |
|
On Algorithms for Simplicial Depth | Andrew Y. Cheng, Ming Ouyang |
| dcs-tr-369 | |
|
Approximation of Polynomial Root Using a Single Input and the Corresponding Derivative Values | Bahman Kalantari |
| dcs-tr-370 | |
|
Halley's Method as the First Member of an Infinite Family of Cubic Order Rootfinding Methods | Bahman Kalantari |
| dcs-tr-371 | |
|
Newton's Method and Generation of a Determinantal Family of Iteration Functions | Bahman Kalantari |
| dcs-tr-373 | |
|
On the Phase Space Dynamics of Neuronal Systems: Model, Experiments, and Analysis. | Arunava Banerjee |
| dcs-tr-374 | |
|
Approximate max-min resource sharing for structured concave optimization | M.D. Grigoriadis, L. Khachiyan, L. Porkolab, J. Villavicencio. |
| dcs-tr-375 | |
|
A Computational Comparison of the First Nine Members of a | Bahman Kalantari and Seungyoung Park |
| dcs-tr-377 | |
|
Jambalaya: Using Multicast for Blind Distributed Web | Julio C. Navas |
| dcs-tr-378 | |
|
"Achieving Scalable Locality With Time Skewing" | David Wonnacott |
| dcs-tr-379 | |
|
Time Skewing: A Value-Based Approach to Optimizing for Memory Locality | David Wonnacott and John McCalpin |
| dcs-tr-380 | |
|
Bounded Locking for Optimistic Concurrency Control | Shirish Phatak and B. R. Badrinath |
| dcs-tr-381 | |
|
DataSpace - querying and monitoring deeply networked collections in physical space: Part I - Concepts and Architecture | Tomasz Imielinski, Samir Goel |
| dcs-tr-382 | |
|
Data-flow-based testing of object-oriented libraries | Ramkrishna Chatterjee and Barbara Ryder |
| dcs-tr-383 | |
|
Data-Flow Analysis of Program Fragments | Atanas Rountev, Barbara G. Ryder, and William Landi |
| dcs-tr-384 | |
|
Instruction Scheduling in the Presence of Java's Runtime Exceptions | Matthew Arnold, Michael Hsiao, Ulrich Kremer, Barbara Ryder |
| dcs-tr-386 | |
|
Constant Propagation Through Array Variables | David Wonnacott |
| dcs-tr-387 | |
|
Reconciling Encapsulation and Dynamic Dispatch via Accessory Functions | C. Benjamin Flynn and and David Wonnacott |
| dcs-tr-388 | |
|
Time Skewing for Parallel Computers | David Wonnacott |
| dcs-tr-389 | |
|
New Formulas for Approximation of PI and Other Transcendental Numbers | Bahman Kalantari |
| dcs-tr-390 | |
|
Concept-Learning in the Absence of Counter-Examples: An Autoassociation-Based Approach to Classification | Nathalie Japkowicz |
| dcs-tr-391 | |
|
``What's *NOT* in a name?'' Initial Explorations of a Structural Approach to Intgerating Large Concept Knowledge Bases | Alex Borgida, Ralf Kusters |
| dcs-tr-393 | |
|
Incremental Analysis for Flow- and Context-Sensitive Data-Flow Problems | Jyh-shiarn Yur |
| dcs-tr-395 | |
|
A Simple Path-following Algorithm for the Feasibility Problem in Semidefinite Programming and for Matrix Scaling over the Semidefinite Cone | Bahman Kalantari |
| dcs-tr-396 | |
|
Cubegrades: Generalizing Association Rules | Tomasz Imielinski, Leonid Khachiyan, Amin Abdulghani |
| dcs-tr-398 | |
|
A Note on a Boundedness Property of Normal Barriers of Convex Cones | Bahman Kalantari |
| dcs-tr-399 | |
|
A Multi-class Linear Learning Algorithm Related to Winnow | Chris Mesterharm |
| dcs-tr-400 | |
|
DataSpace - querying and monitoring deeply networked collections in physical space: Part II - Protocol Details | Samir Goel, Tomasz Imielinski |
| dcs-tr-401 | |
|
Tile Selection Algorithms and Their Performance Models | Chung-Hsing Hsu and Ulrich Kremer |
| dcs-tr-403 | |
|
A Static Study of Java Exceptions using JESP | Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah |
| dcs-tr-404 | |
|
``What's in an Attribute?'' -- Consequences for the Least Common Subsumer | Alex Borgida, Ralf Kuesters |
| dcs-tr-405 | |
|
Web&: An Architecture for Non-Interactive Web | S. H. Phatak, V. Esakki, B. R. Badrinath, L. Iftode |
| dcs-tr-406 | |
|
Modular Data-flow Analysis of Statically Typed Object-oriented Programming Languages | Ramkrishna Chatterjee |
| dcs-tr-407 | |
|
A Stable and Efficient Loop Tiling Algorithm | Chung-Hsing Hsu and Ulrich Kremer |
| dcs-tr-408 | |
|
On reducing the computational cost of Geographic Routing | Julio C. Navas Tomaz Imielinski |
| dcs-tr-409 | |
|
Limited-size Logging for Fault-Tolerant Distributed Shared Memory with Independent Checkpointing | Florin Sultan, Thu Nguyen, Liviu Iftode |
| dcs-tr-410 | |
|
Practical Points-to Analysis for Programs Built with Libraries | Atanas Rountev and Barbara G. Ryder |
| dcs-tr-411 | |
|
An Empirical Study of Selective Optimization | Matthew Arnold, Michael Hind, Barbara G. Ryder |
| dcs-tr-412 | |
|
On Homogeneous Linear Recurrence Relations and Approximation of Zeros of Complex Polynomials | Bahman Kalantari |
| dcs-tr-413 | |
|
Software Distributed Shared Memory over Virtual Interface Architecture: Implementation and Performance | Muralidharan Rangarajan and Liviu Iftode |
| dcs-tr-414 | |
|
Topical Locality in the Web: Experiments and Observations | Brian D. Davison |
| dcs-tr-415 | |
|
Pushing Politely: Improving Web Responsiveness One Packet at a Time | Brian D. Davison, Vincenzo Liberatore |
| dcs-tr-416 | |
|
Scylla: A Smart Virtual Machine for Mobile Embedded Systems | Phillip Stanley-Marbell, Liviu Iftode |
| dcs-tr-417 | |
|
Points-to Analysis for Java Using Annotated Inclusion Constraints | Atanas Rountev, Ana Milanova, and Barbara G. Ryder |
| dcs-tr-419 | |
|
Compiler-Directed Dynamic Frequency and Voltage Scheduling | Chung-Hsing Hsu, Ulrich Kremer, and Michael Hsiao |
| dcs-tr-421 | |
|
Providing Quality of Service Guarantees Using Only Edge Routers | Sudeept Bhatnagar and Brett Vickers |
| dcs-tr-423 | |
|
Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries | Atanas Rountev and Barbara G. Ryder |
| dcs-tr-424 | |
|
A Framework for Reducing the Cost of Instrumented Code | Matthew Arnold and Barbara G. Ryder |
| dcs-tr-425 | |
|
Application Management to support Network Management and Traffic Engineering | Kyoungwon Suh and Brett J. Vickers |
| dcs-tr-426 | |
|
Performability Modeling and Analysis of Fault Tolerance Support in Communication Protocols | Samian Kaur |
| dcs-tr-427 | |
|
Efficiency vs. Portability in Cluster-Based Network Servers | Enrique V. Carrera and Ricardo Bianchini |
| dcs-tr-428 | |
|
Points-to Analysis for Java Based on Annotated Constraints | Atanas Rountev, Ana Milanova, and Barbara G. Ryder |
| dcs-tr-429 | |
|
Transport Layer Support for Highly-Available Network Services | Florin Sultan, Kiran Srinivasan, Liviu Iftode |
| dcs-tr-430 | |
|
Smart Messages: A System Architecture for Large Networks of Embedded Systems | Phillip Stanley-Marbell, Cristian Borcea, Kiran Nagaraja and Liviu Iftode |
| dcs-tr-431 | |
|
Compiler-Directed Dynamic Voltage/Frequency Scheduling for Energy Reduction in Microprocessors | Chung-Hsing Hsu, Ulrich Kremer, and Michael Hsiao |
| dcs-tr-432 | |
|
Class Analysis for Testing of Polymorphism in Java Software | Atanas Rountev, Ana Milanova, and Barbara G. Ryder |
| dcs-tr-433 | |
|
Data-flow-based Testing of Object-Oriented Libraries | Ramkrishna Chatterjee and Barbara G. Ryder |
| dcs-tr-434 | |
|
Dynamic QoS Provisioning in Wireless Data Networks | Samrat Ganguly, Dragos Niculescu and Brett Vickers |
| dcs-tr-435 | |
|
Ad Hoc Positioning System (APS) | Dragos Niculescu and Badri Nath |
| dcs-tr-436 | |
|
Cooperative Caching Middleware for Cluster-Based Servers | Francisco Matias Cuenca-Acuna and Thu D. Nguyen |
| dcs-tr-437 | |
|
The Shape of Failure | Taliver Heath, Rich Martin, Thu Nguyen |
| dcs-tr-438 | |
|
Prediction-based Monitoring in Sensor Networks: Taking Lessons from MPEG | Samir Goel and Tomasz Imielinski |
| dcs-tr-439 | |
|
An Edge Router Based Protocol for Fault Tolerant Handling of Advance Reservations | Sudeept Bhatnagar and Badri Nath |
| dcs-tr-440 | |
|
Load Balancing and Unbalancing for Power and Performance in Cluster-Based Systems | Eduardo Pinheiro, Ricardo Bianchini, Enrique V. Carrera, and Taliver Heath |
| dcs-tr-441 | |
|
Title : A Topology Discovery Algorithm for Sensor Networks with Applications to Network Management | Budhaditya Deb, Sudeept Bhatnagar and Badri Nath |
| dcs-tr-442 | |
|
Precise Call Graph Construction in the Presence of Function Pointers | Ana Milanova, Atanas Rountev, and Barbara G. Ryder |
| dcs-tr-444 | |
|
NCS: Network and Cache Simulator -- An Introduction | Brian D. Davison |
| dcs-tr-445 | |
|
ROPE: The Rutgers Online Proxy Evaluator | Brian D. Davison and Chandrasekar Krishnan |
| dcs-tr-446 | |
|
A Compilation Framework for Power and Energy Management on Mobile Computers | Ulrich Kremer, Jamey Hicks and Jim Rehg |
| dcs-tr-447 | |
|
Dynamic Voltage and Frequency Scaling for Scientific Applications | Chung-Hsing Hsu and Ulrich Kremer |
| dcs-tr-449 | |
|
A General Algorithm for Time Skewing | by David Wonnacott (visting Rutgers DCS from Haverford College) |
| dcs-tr-450 | |
|
RESTCLK: A Communication Paradigm for Observation and Control of Object Interaction | Souripriya Das |
| dcs-tr-451 | |
|
Optimization Based Bandwidth Allocation in Mobile Cellular Networks | Samrat Ganguly, Badri Nath and Navin Goyal |
| dcs-tr-453 | |
|
User-Level Communication in Cluster-Based Servers | Enrique V. Carrera, Srinath Rao, Liviu Iftode, and Ricardo Bianchini |
| dcs-tr-456 | |
|
Energy Management of Virtual Memory on Diskless Devices | Jerry Hom and Ulrich Kremer |
| dcs-tr-457 | |
|
A Hardware Architecture for Dynamic Performance and Energy Adaptation | Phillip Stanley-Marbell, Michael S. Hsiao,Ulrich Kremer |
| dcs-tr-459 | |
|
MTCP: Transport Layer Support for Highly Available Network Services | Kiran Srinivasan |
| dcs-tr-460 | |
|
Transforming Linear-threshold Learning Algorithms into Multi-class Linear Learning Algorithms. | Chris Mesterharm |
| dcs-tr-461 | |
|
Compiler-Directed Dynamic Voltage Scaling Based on Program Regions | Chung-Hsing Hsu and Ulrich Kremer |
| dcs-tr-462 | |
|
Migratory TCP: Highly Available Internet Services Using Connection Migration | Florin Sultan, Kiran Srinivasan, Deepa Iyer, and Liviu Iftode |
| dcs-tr-464 | |
|
Cooperative Computing for Distributed Embedded Systems | Cristian Borcea, Deepa Iyer, Porlin Kang, Akhilesh Saxena and Liviu Iftode |
| dcs-tr-465 | |
|
PlanetP: Infrastructure Support for P2P Information Sharing | Francisco Matias Cuenca-Acuna, Christopher Peery, Richard P. Martin, Thu D. Nguyen |
| dcs-tr-466 | |
|
Research Directions in Power and Energy Conservation for Clusters | Ricardo Bianchini |
| dcs-tr-468 | |
|
Ad Hoc Positioning System(APS) Using AoA | Dragos Niculescu and Badri Nath |
| dcs-tr-469 | |
|
Online Instrumentation and Feedback Directed Optimization of Java | Matthew Arnold |
| dcs-tr-470 | |
|
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading | Matthew Arnold and Barbara G. Ryder |
| dcs-tr-471 | |
|
Mendosis: A SAN-based Fault Injection Test-bed for the Construction of Highly Available Network Services | Bin Zhang, Kiran Nagaraja, Xiaoyan Li, Richard Martin, Thu Nguyen |
| dcs-tr-472 | |
|
Federated File Systems for Clusters with Remote Memory Communication | Suresh Gopalakrishnan, Ashok Arumugam, Liviu Iftode |
| dcs-tr-474 | |
|
Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java | Ana Milanova, Atanas Rountev, and Barbara G. Ryder |
| dcs-tr-475 | |
|
A Study of Program Behavior to Establish Temporal Locality at the Function Level | Ravi Batchu, Saul Levy, Miles Murdocca |
| dcs-tr-477 | |
|
Self-Routing in Networks of Embedded Systems using Smart Messages | Cristian Borcea, Akhilesh Saxena, Deepa Iyer, Porlin Kang, Rabita Sarker and Liviu Iftode |
| dcs-tr-478 | |
|
Multi-Resolution State Retrieval in Sensor Networks | Budhaditya Deb, Sudeept Bhatnagar, Badri Nath |
| dcs-tr-479 | |
|
Autonomous Transport Protocols for Content-based Networks | Florin Sultan, Aniruddha Bohra, and Liviu Iftode |
| dcs-tr-480 | |
|
Working Sets at Function Level | Ravi Batchu and Saul Levy |
| dcs-tr-481 | |
|
TCP Servers: Offloading TCP Processing in Internet Servers. Design, Implementation, and Performance | Murali Rangarajan, Aniruddha Bohra, Kalpana Banerjee, Enrique V. Carrera, Ricardo Bianchini and Liviu Iftode |
| dcs-tr-482 | |
|
Construction Precise Object Relation Diagrams | Ana Milanova, Atanas Rountev, Barbara Ryder |
| dcs-tr-483 | |
|
Text-Based Content Search and Retrieval in ad hoc P2P Communities | Francisco Matias Cuenca-Acuna and Thu D. Nguyen |
| dcs-tr-485 | |
|
MemNet: Memory-Mapped Networking for Servers | Murali Rangarajan, Kalpana Banerjee and Liviu Iftode |
| dcs-tr-487 | |
|
PlanetP: Using Gossiping to Build Content Addressable Peer-to-Peer Information Sharing Communities | Francisco Matias Cuenca-Acuna, Christopher Peery, Richard P. Martin, Thu D. Nguyen |
| dcs-tr-488 | |
|
Trajectory-Based Forwarding and its Applications | Dragos Niculescu, Badri Nath |
| dcs-tr-490 | |
|
Spatial Programming with Smart Messages for Networks of Embedded Systems | Liviu Iftode, Cristian Borcea, Deepa Iyer, Porlin Kang, Ulrich Kremer, and Akhilesh Saxena |
| dcs-tr-491 | |
|
Using Fault Injection to Evaluate the Performability of Cluster-Based Services | Kiran Nagaraja, Xiaoyan Li, Bin Zhang, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen |
| dcs-tr-492 | |
|
Byzantine Fault Tolerant Authentication | Vivek Pathak and Liviu Iftode |
| dcs-tr-493 | |
|
Spatial Views: Iterative Spatial Programming for Networks of Embedded Systems | Ulrich Kremer, Liviu Iftode, Jerry Hom, and Yang Ni |
| dcs-tr-494 | |
|
PlanetP: Using Gossiping and Random Replication to Support Reliable Peer-to-Peer Content Search and Retrieval_ | Francisco Matias Cuenca-Acuna, Richard P. Martin, Thu D. Nguyen |
| dcs-tr-495 | |
|
ReInForM: Reliable Information Forwarding using Multiple Paths in Sensor Networks | Budhaditya Deb, Sudeept Bhatnagar, Badri Nath |
| dcs-tr-496 | |
|
Evaluating the Impact of Communication Architecture on the Performability of Cluster-Based Services | Kiran Nagaraja, Neeraj Krishnan, Ricardo Bianchini, Rich Martin, Thu Nguyen |
| dcs-tr-500 | |
|
Improving Disk Throughput in Data-Intensive Servers | E. V. Carrera and R. Bianchini |
| dcs-tr-501 | |
|
Dataflow Analysis of Software Fragments | Atanas Rountev |
| dcs-tr-502 | |
|
Fragment Class Analysis for Testing of Polymorphism in Java Software | Atanas Rountev, Ana Milanova, and Barbara G. Ryder |
| dcs-tr-503 | |
|
Programming Computers Embedded in the Physical World | Liviu Iftode, Cristian Borcea, Andrzej Kochut, Chalermek Intanagonwiwat, Ulrich Kremer |
| dcs-tr-504 | |
|
Flow Splitting Approach for Path Provisioning and Path Protection Problems | Rauf Izmailov, Dragos Niculescu |
| dcs-tr-505 | |
|
TCP Servers: A TCP/IP Offloading Architecture For Internet Servers, Using Memory-Mapped Communication | Kalpana S. Banerjee |
| dcs-tr-508 | |
|
Service Continuations: An Operating System Mechanism for Dynamic Migration of Internet Service Sessions | Florin Sultan, Aniruddha Bohra, and Liviu Iftode |
| dcs-tr-509 | |
|
Autonomous Relication for High Availability in Unstructures P2P Ssytems | Francisco Matias Cuenca-Acuna, Richard P. Martin, Thu D. Nguyen |
| dcs-tr-510 | |
|
Collaborative Management of Global Directories in P2P Systems | Christopher Peery, Francisco Matias Cuenca-Acuna, Richard P. Martin, Thu D. Nguyen |
| dcs-tr-511 | |
|
Conserving Disk Energy in Network Servers | E. V. Carrera, E. Pinheiro, and R. Bianchini |
| dcs-tr-514 | |
|
On Shouting ``Fire!'': Regulating Decoupled Communication in Distributed Systems | Takahiro Murata and Naftaly Minsky |
| dcs-tr-515 | |
|
STREAM: Sensor Topology Retrieval at Multiple Resolutions | Budhaditya Deb, Sudeept Bhatnagar and Badri Nath. |
| dcs-tr-516 | |
|
Federated DAFS: Scalable Cluster-based Direct Access File Servers | Murali Rangarajan, Suresh Gopalakrishnan, Ashok Arumugam, Rabita Sarker and Liviu Iftode |
| dcs-tr-517 | |
|
Quantifying and Improving the Availability of Cooperative Cluster-Based Internet Services | Kiran Nagaraja, Neeraj Krishnan, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen |
| dcs-tr-518 | |
|
Compiler-directed Program-fault Coverage for Highly Available Java Internet Services | Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott |
| dcs-tr-520 | |
|
Registration of Structures in Arbitrary Dimensions: Implicit Representations, Mutual Information & Free form Deformations | Xiaolei Huang, Nikos Paragios, Dimitris Metaxas |
| dcs-tr-522 | |
|
Using Remote Memory Communication for Self-Healing Systems | Florin Sultan, Aniruddha Bohra, Iulian Neamtiu, and Liviu Iftode |
| dcs-tr-523 | |
|
Grassroots - A Scalable and Robust Information Architecture | Samir Goel, Tomasz Imielinski, Kaan Ozbay, Badri Nath |
| dcs-tr-524 | |
|
AUTHOR: Florin Sultan, Aniruddha Bohra, Yufei Pan, Stephen Smaldone, Iulian Neamtiu, Pascal Gallard, Liviu Iftode | TITLE: Nonintrusive Failure Detection and Recovery for Internet Services Using Backdoors |
| dcs-tr-528 | |
|
Power and Energy Management for Server Systems | Ricardo Banchini and Ram Rajamony |
| dcs-tr-530 | |
|
On General Convergence of the Basic Family for Extracting Radicals | Yi Jin and Bahman Kalantari |
| dcs-tr-532 | |
|
Exploiting Procedure Level Locality to Reduce Instruction Cache Misses | Ravi V. Batchu, Daniel A. Jimenez |
| dcs-tr-533 | |
|
Chianti: A Prototype Change Impact Analysis Tool for Java | Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley, and Julian Dolby |
| dcs-tr-536 | |
|
Portable Smart Messages Architecture for Ubiquitous Java-enabled devices | Nishkam Ravi, Cristian Borcea, Porlin Kang and Liviu Iftode |
| dcs-tr-538 | |
|
MetaMorphs: Deformable Shape and Texture Models | Xiaolei Huang, Dimitris Metaxas and Ting Chen |
| dcs-tr-539 | |
|
Precise and Practical Flow Analysis of Object-Oriented Software | Ana Milanova |
| dcs-tr-541 | |
|
Self-Managing Federated Services | Francisco Matias Cuenca-Acuna and Thu D. Nguyen |
| dcs-tr-552 | |
|
"Etiquette Protocol for Ultra Low Power Operation in Sensor Networks" | Samir Goel and Tomasz Imielinski |
| dcs-tr-554 | |
|
Citadel: Defensive Architectures for Computer Systems and Networks} | Florin Sultan, Aniruddha Bohra, Pascal Gallard, Stephen Smaldone, Yufei Pan, Badri Nath, Liviu Iftode |
| dcs-tr-558 | |
|
Using buddies to live longer in a boring world | Samir Goel, Andrea Passarella, and Tomasz Imielinski |
| dcs-tr-560 | |
|
System Support for Service-Availability, Remote Healing and Fault Tollerance using Lazy-State Propogation | Florin Sultan |
| dcs-tr-563 | |
|
Spatial Views Language Specification, Version 1.0 | Uli Kremer, Yang Ni, Adrian Stere |
| dcs-tr-564 | |
|
"Mobile Services: Context-Aware Service Migration in Ad Hoc Networks" | Oriana Riva, Tamer Nadeem, Cristian Borcea, and Liviu Iftode |
| dcs-tr-565 | |
|
Split Smart Messages : Middleware for Pervasive Computing on Smart Phones | Nishkam Ravi, Cristian Borcea, Liviu Iftode |
| dcs-tr-566 | |
|
Matching and Recognition of Shapes using Chord-based Point Density Graphs | Xiaolei Huang, Dimitris N. Metaxas |
| dcs-tr-568 | |
|
Spatial Views Language Specification, Version 1.0 | Ulrich Kremer, Yang Ni, and Adrian Stere |
| dcs-tr-569 | |
|
Orion: Looking for Constellations in Physical Memory | Aniruddha Bohra, Arati Baliga, and Liviu Iftode. |
| dcs-tr-570 | |
|
Exploiting Redundancy to Conserve Energy in Storage Systems | Eduardo Pinheiro, Ricardo Bianchini, Cezary Dubnicki |
| dcs-tr-572 | |
|
Change Classification and its Applications to Program Development and Testing | Maximilian Stoerzer, Xiaoxia Ren, Barbara G. Ryder, Frank Tip |
| dcs-tr-573 | |
|
Crisp: A Debugging Tool for Java Programs, | Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder |
| dcs-tr-574 | |
|
A Practical Algorithm for Interclass Testing Dependence | Weilei Zhang, Barbara Ryder |
| dcs-tr-575 | |
|
Power Phase Identification for Efficient Simulation | Chunling Hu , Daniel A. Jim , Ulrich Kremer |
| dcs-tr-576 | |
|
Controller Manager for Law Governed Interaction | Constantin Serban, Yingying Chen |
| dcs-tr-577 | |
|
Lazy Approximation: A New Approach for Solving Continuous Finite-Horizon MDPs | Lihong Li and Michael L. Littman |
| dcs-tr-578 | |
|
Inter-Program Optimizations for Conserving Disk Energy | Jerry Hom and Ulrich Kremer |
| dcs-tr-579 | |
|
Testing and Understanding Error Recovery Code in Java Applications | Chen Fu and Barbara G. Ryder |
| dcs-tr-580 | |
|
Heisenbugs and Bohrbugs: Why are they different? | Nitin M. Shetti |
| dcs-tr-585 | |
|
Exploring the Design and Implementation of Vehicular Networked Systems | Liviu Iftode, Cristian Borcea, Nishkam Ravi, Tamer Nadeem |
| dcs-tr-595 | |
|
"Non-Inference: A Solution for Service Specific Location Privacy" | Nishkam Ravi, Marco Gruteser, Liviu Iftode |
| dcs-tr-601 | |
|
Model-Based Validation for Internet Services | A. Tjang, F. Oliveira, R. Bianchini, R. P. Martin, T. D. Nguyen, H. Tang |
| dcs-tr-605 | |
|
Implementing Network File System Policies with FileWall | Stephen Smaldone, Aniruddha Bohra, and Liviu Iftode |
| hpcd-tm-1 | |
|
Notes on the Technical Sessions of the First HPCD Workshop | M. Schwabacher and J. Keane |
| hpcd-tm-2 | |
|
Notes on the second HPCD Workshop | Mark Schwabacher and John Keane |
| hpcd-tm-3 | |
|
Notes on the third HPCD Workshop | Brian Davison and Khaled Rasheed |
| hpcd-tm-4 | |
|
Notes on the fourth HPCD Workshop | Brian D. Davison and Keith M. Miyake |
| hpcd-tr-1 | |
|
Efficient Algorithms and a Software Tool for Scheduling Parallel Computation. | Apostolos Gerasoulis, Rutgers University |
| hpcd-tr-10 | |
|
A 2-D Compressible Navier-Stokes Algorithm Using an Adaptive Unstructured Grid | H.F. Lau and D. Knight |
| hpcd-tr-11 | |
|
Differences in Algorithmic Parallelism in Control Flow and Call | V. Sgro and B. Ryder |
| hpcd-tr-12 | |
|
Automated Modeling of Distributed and Lumped Phenomena in Heat Transfer | Sui-Ky Ringo Ling |
| hpcd-tr-13 | |
|
Feedback Directed Optimization | Chun Wai Liew |
| hpcd-tr-18 | |
|
Computing and Problems of Complex Mechanical System Design | Saul Amarel |
| hpcd-tr-19 | |
|
4th Quarterly R&D Status Report | Saul Amarel |
| hpcd-tr-2 | |
|
1st Quarterly R&D Status Report | Saul Amarel |
| hpcd-tr-20 | |
|
A Search Space Toolkit | Andrew Gelsey, Don Smith, Mark Schwabacher, Khaled Mohamed Rasheed Shehata, Keith Miyake |
| hpcd-tr-21 | |
|
A Computational Environment for Exhaust Nozzle Design | Andrew Gelsey, Don Smith |
| hpcd-tr-22 | |
|
NPARC Simulation and Redesign of the NASA P2 Hypersonic Inlet | Andrew Gelsey, Doyle D. Knight, Song Gao, Mark Schwabacher |
| hpcd-tr-23 | |
|
Intelligent Automated Grid Generation for Numerical Simulations | Ke-Thia Yao, Andrew Gelsey |
| hpcd-tr-24 | |
|
5th Quarterly R&D Status Report | Saul Amarel |
| hpcd-tr-25 | |
|
Using Feedback To Improve VLSI Designs | C.W. Liew |
| hpcd-tr-26 | |
|
Tree codes for vortex dynamics: Application of a programming framework | Sandeep Bhatt, Pangfeng Liu, Victor Fernandez, Norman Zabusky |
| hpcd-tr-27 | |
|
Test Cases for NPARC | Song "Sam" Gao |
| hpcd-tr-28 | |
|
Learning When Reformulation is Appropriate for Iterative Design | Mark Schwabacher, Thomas Ellman, Haym Hirsh, Gerard Richter |
| hpcd-tr-29 | |
|
Inductive Learning of Feature-Tracking Rules for Scientific Visualization | Arunava Banerjee, Haym Hirsh, Thomas Ellman |
| hpcd-tr-30 | |
|
Sixth R&D Status Report | Saul Amarel |
| hpcd-tr-31 | |
|
Summary Technical Report on Year 1 of the Hypercomputing and Design (HPCD) Project | Saul Amarel |
| hpcd-tr-32 | |
|
Seventh R&D Status Report | Saul Amarel |
| hpcd-tr-33 | |
|
Numerical simulations of fluid flow in the vocal tract | G. Richard, M.Liu, D. Sinder, H. Duncan, Q. Lin, J. Flanagan, S. Levinson, D. Davis, S. Slimon. |
| hpcd-tr-34 | |
|
Using Modeling Knowledge to Guide Design Space Search | Andrew Gelsey, Mark Schwabacher and Don Smith |
| hpcd-tr-35 | |
|
Eighth R&D Status Report | Saul Amarel |
| hpcd-tr-36 | |
|
Automated Redesign of the NASA P8 Hypersonic Inlet Using Numerical Optimization | Vijay Shukla, Andrew Gelsey, Mark Schwabacher, Donald Smith, and Doyle D. Knight |
| hpcd-tr-37 | |
|
Intelligent Automated Grid Generation for Numerical Simulations | Ke-Thia Yao, Andrew Gelsey |
| hpcd-tr-38 | |
|
Intelligent Gradient-Based Search of Incompletely Defined Design Spaces | Mark Schwabacher, Andrew Gelsey |
| hpcd-tr-4 | |
|
Scheduling of Structured and Unstructured Computation | A. Gerasoulis, J. Jiao, T. Yang |
| hpcd-tr-40 | |
|
Intelligent Intercessors in Analysis Models for Automated Design | J. Keane and T. Ellman |
| hpcd-tr-41 | |
|
Extensions to the Franz, Inc.'s Allegro Common Lisp Foreign Function Interface | J. Keane |
| hpcd-tr-42 | |
|
A Transformation System for Interactive Reformulation of Design Optimization Strategies | Thomas Ellman John Keane Takahiro Murata Mark Schwabacher |
| hpcd-tr-43 | |
|
Reformulation of Design Optimization Strategies | Thomas Ellman John Keane Takahiro Murata Arunava Banerjee |
| hpcd-tr-44 | |
|
Multi-Level Modeling for Engineering Design Optimization | Thomas Ellman John Keane Mark Schwabacher Ke-Thia Yao |
| hpcd-tr-45 | |
|
The Use of Artificial Intelligence to Improve the Numerical Optimization of Complex Engineering Designs | Mark Schwabacher |
| hpcd-tr-49 | |
|
Knowledge-based Management of Legacy Codes for Automated Design" | John Keane |
| hpcd-tr-5 | |
|
2ND QUARTERLY R&D STATUS REPORT | Saul Amarel |
| hpcd-tr-50 | |
|
Guided Crossover: A New Operator for Genetic Algorithm Based Optimization | Khaled Rasheed and Haym Hirsh |
| hpcd-tr-59 | |
|
Highest Utility First Search: a Control Method for Multi-level | L. Steinberg, J. Hall and B. Davison |
| hpcd-tr-6 | |
|
A Navier-Stokes Algorithm for Turbulent Flows Using an Unstructured Grid and Flux Difference Splitting | F. Jacon and D. Knight |
| hpcd-tr-7 | |
|
Third Quarterly R&D Status Report | Saul Amarel |
| hpcd-tr-8 | |
|
DSC: Scheduling Parallel Tasks on an Unbounded Number of Processors | T. Yang and A. Gerasoulis |
| hpcd-tr-9 | |
|
1st Annual Project Summary | Saul Amarel |
| lcsr-tr-141 | |
|
Static infinite Wait Anomaly Detection in Polynomial Time | S. P. Masticola and B. G. Ryder |
| lcsr-tr-168 | |
|
A Safe Approximation Algorithm for Interprocedural Pointer Aliasing | William Landi and Barbara G. Ryder |
| lcsr-tr-174 | |
|
Interprocedural Aliasing in the Presence of Pointers | William Landi |
| lcsr-tr-180 | |
|
Composition of Image Analysis Processes through Object-Centered Hierarchical Planning | Leiguang Gong |
| lcsr-tr-184 | |
|
The complexity of computing maximal word functions | Eric Allender, Danilo Bruschi and Giovanni Pighizzini |
| lcsr-tr-185 | |
|
On Strong Separations from $AC^0$ | Eric Allender and Vivek Gore |
| lcsr-tr-186 | |
|
Applications of Time-Bounded Kolmogorov Complexity in Complexity Theory | Eric Allender |
| lcsr-tr-187 | |
|
Depth Reduction for Circuits of Unbounded Fan-In | Eric Allender and Ulrich Hertrampf |
| lcsr-tr-188 | |
|
A uniform circuit lower bound for the permanent | Eric Allender and Vivek Gore |
| lcsr-tr-189 | |
|
Almost-Everywhere Complexity Hierarchies for Nondeterministic Time | Eric Allender, Richard Beigel, Ulrich Hertrampf and Steven Homer |
| lcsr-tr-190 | |
|
Detecting Deadlocks in the Ada {\tt accept...do} and {\tt select} Constructs | Stephen P. Masticola |
| lcsr-tr-192 | |
|
A Comprehensive Approach to Parallel Data Flow Analysis | Yong-fong Lee, Barbara G. Ryder |
| lcsr-tr-193 | |
|
Interprocedural Reaching Definitions in the Presence of Single Level Pointers | Hemant D. Pande, William Landi, Barbara G. Ryder |
| lcsr-tr-194 | |
|
Combinatorial Complexity of Signed Discs | Diane L. Souvaine, Chee-Keng Yap |
| lcsr-tr-195 | |
|
Interprocedural Modification Side Effect Analysis With Pointer Aliasing | William Landi, Barbara G. Ryder, and Sean Zhang |
| lcsr-tr-196 | |
|
The CAM2000 Chip Architecture | D. Smith, J. Hall, K. Miyake |
| lcsr-tr-197-a | |
|
Static Type Determination for C++ | Hemant D. Pande and Barbara G. Ryder |
| lcsr-tr-197 | |
|
Static Type Determination for C++ | Hemant D. Pande and Barbara G. Ryder |
| lcsr-tr-198 | |
|
Hillclimbing in a Hierarchy of Abstraction Spaces | Thomas Ellman, Saibal Patra |
| lcsr-tr-199 | |
|
Abstraction via Approximate Symmetry | Thomas Ellman |
| lcsr-tr-200 | |
|
Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects | Thomas Ellman |
| lcsr-tr-201 | |
|
Interprocedural Modification Side Effect Analysis With Pointer Aliasing | William Landi |
| lcsr-tr-204 | |