Sciweavers

163 search results - page 33 / 33
» An Automatic Test Case Generation Framework for Web Services
Sort
View
GLVLSI
2005
IEEE
99views VLSI» more  GLVLSI 2005»
13 years 11 months ago
An empirical study of crosstalk in VDSM technologies
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
Shahin Nazarian, Massoud Pedram, Emre Tuncer
CASES
2003
ACM
13 years 11 months ago
Extending STI for demanding hard-real-time systems
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...
Benjamin J. Welch, Shobhit O. Kanaujia, Adarsh See...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 10 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer