1129 search results - page 171 / 226 » From programming to modeling: our experience with a distribu... |
CGO
2011
IEEE
13 years 20 days ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
PADS
2003
ACM
14 years 2 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
IC
2003
13 years 10 months ago
2003
: Remote real laboratories deal with performing real lab experiments remotely via Internet. Recent advances in Internet/web technologies and computer-controlled instrumentation all...
AOSD
2010
ACM
14 years 1 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...