Sciweavers

15777 search results - page 349 / 3156
» Engineering in Software
Sort
View
126
Voted
ISPASS
2006
IEEE
15 years 11 months ago
Compiler-based adaptive fetch throttling for energy-efficiency
Huaping Wang, Yao Guo, Israel Koren, C. Mani Krish...
123
Voted
IUI
2006
ACM
15 years 11 months ago
Direct manipulation of user interfaces for migration
José Pascual Molina Massó, Jean Vand...
SEFM
2005
IEEE
15 years 10 months ago
Pragmatic Consistency Management in Industrial Requirements Specifications
Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Joh...
FASE
2005
Springer
15 years 10 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...