Sciweavers

7189 search results - page 1245 / 1438
» Connecting Design with Code
Sort
View
OSDI
1996
ACM
15 years 5 months ago
Online Data-Race Detection via Coherency Guarantees
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
Dejan Perkovic, Peter J. Keleher
QNS
1996
15 years 5 months ago
Improving the quality of software quality determination processes
This paper suggests a systematic, orderly, process-based approach to stating software quality objectives and knowing if and when they have been achieved. We suggest that quality i...
Leon J. Osterweil
WSC
1996
15 years 5 months ago
A Parallel GPSS Based on the ParaSol Simulation System
Much of the research in parallel discrete-event simulation (PDES) has resulted in new experimental simulation languages or toolkits. Meanwhile, the simulation community continues ...
Felipe Knop, Edward Mascarenhas, Vernon Rego
193
Voted
AAIP
2009
15 years 5 months ago
Automated Method Induction: Functional Goes Object Oriented
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
Thomas Hieber, Martin Hofmann 0008
AIIDE
2009
15 years 5 months ago
Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
Steven P. Cash, R. Michael Young
« Prev « First page 1245 / 1438 Last » Next »