2025 search results - page 277 / 405 » Software performance modelling using PEPA nets |
110
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
104
Voted
ISPASS
2006
IEEE
15 years 6 months ago
2006
IEEE
The present work presents a cycle-level execution-driven simulator for modern GPU architectures. We discuss the simulation model used for our GPU simulator, based in the concept o...
100
Voted
IUI
2010
ACM
15 years 9 months ago
2010
ACM
Target expansion is a pointing facilitation technique where the users target, typically an interface widget, is dynamically enlarged to speed pointing in interfaces. However, with...
86
Voted
CISSE
2007
Springer
15 years 7 months ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
108
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...