15778 search results - page 3056 / 3156 » Aikido and software engineering |
CIKM
1999
Springer
15 years 2 months ago
1999
Springer
The web hasgreatly improved accessto scientific literature. However, scientific articles on the web are largely disorganized, with research articles being spreadacrossarchive site...
BIRTHDAY
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
PPOPP
2012
ACM
13 years 5 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
GI
2003
Springer
15 years 3 months ago
2003
Springer
: In Zukunft wird es verstärkt notwendig sein, sicherheitskritische Systeme statt in Ada in der Programmiersprache C zu implementieren. Die Verwendung von C ist getrieben vom Mang...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...