3130 search results - page 547 / 626 » Design Correctness of Digital Systems |
187
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
153
click to vote
KCAP
2009
ACM
16 years 27 days ago
2009
ACM
This demo presents the Cupboard online system for sharing and reusing ontologies linked together with alignments, and that are attached to rich metadata and reviews. Categories an...
179
click to vote
MOBICOM
2009
ACM
16 years 27 days ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
158
click to vote
SIGCOMM
2009
ACM
16 years 27 days ago
2009
ACM
It is envisaged that services and applications will migrate to a cloud-computing paradigm where thin-clients on userdevices access, over the network, applications hosted in data c...
177
click to vote
ISCA
2007
IEEE
16 years 20 days ago
2007
IEEE
Virtual Private Machines (VPM) provide a framework for Quality of Service (QoS) in CMP-based computer systems. VPMs incorporate microarchitecture mechanisms that allow shares of h...