2984 search results - page 208 / 597 » Method engineering process patterns |
173
Voted
SIGCSE
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...
116
Voted
DATE
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents a new approach that can be used to speed up SystemC simulations by automatically optimizing the model for simulation. The work addresses the inefficiency of th...
153
click to vote
CAV
2007
Springer
16 years 10 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
150
click to vote
PDC
2004
ACM
15 years 11 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
198
click to vote
IPPS
2007
IEEE
16 years 13 days ago
2007
IEEE
Computationally complex and data intensive atomic scale biomolecular simulation is enabled via Processing in Network Storage (PINS): a novel distributed system framework to overco...