27 search results - page 4 / 6 » Running the manual: an approach to high-assurance microkerne... |
ICPADS
2007
IEEE
14 years 1 months ago
2007
IEEE
Many service providers distribute various kinds of content over the Internet. They often use replica servers to provide stable service. To position them appropriately, service pro...
IFIPPACT
1994
13 years 8 months ago
1994
: We describe an approach to parallel compilation that seeks to harness the vast amount of ne-grain parallelism that is exposed through partial evaluation of numerically-intensive ...
KBSE
2002
IEEE
14 years 11 days ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
WCRE
2010
IEEE
13 years 5 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...