Sciweavers

1141 search results - page 101 / 229
» A Generative Style-driven Framework for Software Architectur...
Sort
View
ICFEM
2010
Springer
13 years 6 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
ATS
2005
IEEE
98views Hardware» more  ATS 2005»
14 years 2 months ago
Untestable Multi-Cycle Path Delay Faults in Industrial Designs
The need for high-performance pipelined architectures has resulted in the adoption of latch based designs with multiple, interacting clocks. For such designs, time sharing across ...
Manan Syal, Michael S. Hsiao, Suriyaprakash Natara...
OOPSLA
2007
Springer
14 years 3 months ago
CUTE: C++ unit testing easier
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
Peter Sommerlad, Emanuel Graf
CORR
2006
Springer
131views Education» more  CORR 2006»
13 years 9 months ago
A framework of reusable structures for mobile agent development
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
Tudor Marian, Bogdan Dumitriu, Mihaela Dinsoreanu,...
INFOCOM
2003
IEEE
14 years 2 months ago
Integration of 802.11 and Third-Generation Wireless Data Networks
Abstract— The third-generation (3G) wide area wireless networks and 802.11 local area wireless networks possess complementary characteristics. 3G networks promise to offer always...
Milind M. Buddhikot, Girish P. Chandranmenon, Seun...