Sciweavers

18898 search results - page 418 / 3780
» The Making of a Software Engineer
Sort
View
VLSI
2007
Springer
16 years 29 days ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
122
Voted
ASWEC
2006
IEEE
16 years 28 days ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...
CGO
2006
IEEE
16 years 28 days ago
Optimizing Dynamic Binary Translation for SIMD Instructions
Jianhui Li, Qi Zhang, Shu Xu, Bo Huang
130
Voted
CGO
2006
IEEE
16 years 28 days ago
Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler
Vijay Sundaresan, Daryl Maier, Pramod Ramarao, Mar...