1163 search results - page 183 / 233 » Case Studies of Model Checking for Embedded System Designs |
145
click to vote
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
239
click to vote
VLDB
2008
ACM
16 years 4 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
129
click to vote
QUATIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
147
click to vote
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
138
click to vote
CLUSTER
2008
IEEE
2008
IEEE
A trace-driven emulation framework to predict scalability of large clusters in presence of OS Jitter
15 years 10 months ago
—Various studies have pointed out the debilitating effects of OS Jitter on the performance of parallel applications on large clusters such as the ASCI Purple and the Mare Nostrum...