7892 search results - page 1478 / 1579 » Programming with Models |
106
click to vote
ISPASS
2006
IEEE
15 years 7 months ago
2006
IEEE
Current simulation-sampling techniques construct accurate model state for each measurement by continuously warming large microarchitectural structures (e.g., caches and the branch...
MICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
145
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
121
click to vote
FOCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Robust optimization has traditionally focused on uncertainty in data and costs in optimization problems to formulate models whose solutions will be optimal in the worstcase among ...
126
click to vote
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...