3130 search results - page 146 / 626 » Design Correctness of Digital Systems |
153
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Multitenant data infrastructures for large cloud platforms hosting hundreds of thousands of applications face the challenge of serving applications characterized by small data foo...
130
click to vote
DIMACS
1996
15 years 5 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
150
click to vote
ICWN
2004
15 years 5 months ago
2004
Mobile computers, such as cell phones and personal digital assistants (PDAs), have dramatically increased in sophistication. At the same time, the desire of consumers for portabili...
117
Voted
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
129
click to vote
FMOODS
2003
15 years 5 months ago
2003
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...