3441 search results - page 336 / 689 » Provenance of Software Development Processes |
149
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
131
click to vote
NSDI
2007
15 years 7 months ago
2007
Despite many efforts, the predominant practice of debugging a distributed system is still printf-based log mining, which is both tedious and error-prone. In this paper, we present...
140
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
119
click to vote
LREC
2010
15 years 6 months ago
2010
The Arabic Treebank (ATB) Project at the Linguistic Data Consortium (LDC) has embarked on a large corpus of Broadcast News (BN) transcriptions, and this has led to a number of new...
140
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...