10870 search results - page 1768 / 2174 » Model Checking Programs |
175
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
203
click to vote
PADS
2000
ACM
15 years 11 months ago
2000
ACM
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...
214
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Traditional approaches for content-based image querying typically compute a single signature for each image based on color histograms, texture, wavelet transforms etc., and return...
228
click to vote
ISORC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
131
click to vote
ISCA
1997
IEEE
15 years 11 months ago
1997
IEEE
DataScalar architectures improve memory system performance by running computation redundantly across multiple processors, which are each tightly coupled with an associated memory....