Sciweavers

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