1587 search results - page 91 / 318 » Software Engineering Programmes are not Computer Science Pro... |
115
click to vote
MCU
1998
15 years 3 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
208
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
114
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
110
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently, graphics processing units (GPUs) are providing increasingly higher performance with programmable internal processors, namely vertex processors (VPs) and fragment process...
GI
2004
Springer
15 years 7 months ago
2004
Springer
: Dieser Beitrag stellt die Integration der Timing Description Language (TDL) in das Modellierungswerkzeug Simulink vor. Das Ziel ist die Etablierung eines Entwicklungsprozesses, d...