8109 search results - page 117 / 1622 » A Model of Component-Based Programming |
135
Voted
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
133
click to vote
IEAAIE
2004
Springer
15 years 10 months ago
2004
Springer
This paper investigates the suitability of linear genetic programming (LGP) technique to model efficient intrusion detection systems, while comparing its performance with artificia...
112
click to vote
AC
2008
Springer
15 years 5 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
143
click to vote
MASCOTS
2001
15 years 6 months ago
2001
Recent increases in CPU performance have surpassed those in hard drives. As a result, disk operations have become more expensive in terms of the number of CPU cycles spent waiting...
159
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...