3424 search results - page 456 / 685 » Building Diverse Computer Systems |
128
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
162
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
157
click to vote
AINA
2005
IEEE
15 years 10 months ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
144
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...
129
click to vote
ACMSE
2004
ACM
15 years 10 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...