Sciweavers

8009 search results - page 390 / 1602
» cans 2005
Sort
View
ASWEC
2005
IEEE
16 years 13 days ago
Operational Management Contracts for Adaptive Software Organisation
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....
Alan W. Colman, Jun Han
ASWEC
2005
IEEE
16 years 13 days ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
ASYNC
2005
IEEE
132views Hardware» more  ASYNC 2005»
16 years 13 days ago
High Level Synthesis of Timed Asynchronous Circuits
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC specifications to timed asynchronous gate-level circuits. The state-based logic synthes...
Tomohiro Yoneda, Atsushi Matsumoto, Manabu Kato, C...
ATS
2005
IEEE
121views Hardware» more  ATS 2005»
16 years 13 days ago
Compressing Functional Tests for Microprocessors
In the past, test data volume reduction techniques have concentrated heavily on scan test data content. However, functional vectors continue to be utilized because they target uni...
Kedarnath J. Balakrishnan, Nur A. Touba, Srinivas ...
ATS
2005
IEEE
84views Hardware» more  ATS 2005»
16 years 13 days ago
Current Testing for Nanotechnologies: A Demystifying Application Perspective.
: This paper addresses the challenges imposed on current testing with the advent of Nanotechnologies. It shows why existing measurement solutions embedded in ATE systems are not ad...
Hans A. R. Manhaeve