9110 search results - page 1619 / 1822 » Formally-Based Design Evaluation |
150
Voted
EUROSYS
2007
ACM
15 years 5 months ago
2007
ACM
Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While exist...
131
click to vote
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
"There will always (I hope) be print books, but just as the advent of photography changed the role of painting or film changed the role of theater in our culture, electronic ...
155
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
136
Voted
CASCON
2008
15 years 5 months ago
2008
Searching and comparing information from semi-structured repositories is an important, but cognitively complex activity for internet users. The typical web interface displays a li...
145
click to vote
DGO
2008
15 years 5 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...