Sciweavers

196 search results - page 20 / 40
» concurrency 1998
Sort
View
DL
1998
Springer
112views Digital Library» more  DL 1998»
14 years 3 months ago
An Agent-Based Approach to the Construction of Floristic Digital Libraries
This paper describes an agent-assisted approach to the construction of floristic digital libraries, which consist of very large botanical data repositories and related services. W...
J. Alfredo Sánchez, Cristina A. Lópe...
HYBRID
1998
Springer
14 years 3 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
TPDS
1998
71views more  TPDS 1998»
13 years 10 months ago
Parallel Algorithms for Relational Coarsest Partition Problems
—Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are 3-complete and hence it may not be possible to desig...
Sanguthevar Rajasekaran, Insup Lee
CONCURRENCY
1998
87views more  CONCURRENCY 1998»
13 years 10 months ago
Titanium: A High-performance Java Dialect
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
Katherine A. Yelick, Luigi Semenzato, Geoff Pike, ...
ICSE
1998
IEEE-ACM
14 years 3 months ago
Parallel Changes in Large Scale Software Development: An Observational Case Study
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta