Sciweavers

16682 search results - page 382 / 3337
» Software Engineering Education
Sort
View
FASE
2004
Springer
16 years 1 months ago
A Systematic Methodology for Developing Component Frameworks
Si Won Choi, Soo Ho Chang, Soo Dong Kim
VMCAI
2004
Springer
16 years 29 days ago
Rule-Based Runtime Verification
Howard Barringer, Allen Goldberg, Klaus Havelund, ...
VMCAI
2004
Springer
16 years 29 days ago
Completeness and Complexity of Bounded Model Checking
Edmund M. Clarke, Daniel Kroening, Joël Ouakn...
CGO
2010
IEEE
16 years 28 days ago
Coloring-based coalescing for graph coloring register allocation
Rei Odaira, Takuya Nakaike, Tatsushi Inagaki, Hide...
WOSP
2010
ACM
16 years 28 days ago
A markovian futures market for computing power
Fernando Martínez Ortuño, Uli Harder...