Sciweavers

1937 search results - page 169 / 388
» Starting B Specifications from Use Cases
Sort
View
EUROMICRO
2004
IEEE
15 years 10 months ago
Using Academic Courses for Empirical Validation of Software Development Processes
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
Marcus Ciolkowski, Dirk Muthig, Jörg Rech
VCBM
2010
15 years 1 months ago
Dynamic Visualisation of Orbital Fat Deformation using Anatomy-Guided Interaction
The human eye is a biomechanical system. Orbital fat plays an important role in the working of this system, but its behaviour during eye movement is not well understood. To give i...
Peter J. Schaafsma, Sander Schutte, Huib J. Simons...
ICCAD
1999
IEEE
84views Hardware» more  ICCAD 1999»
15 years 11 months ago
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
Jordi Cortadella, Michael Kishinevsky, Steven M. B...
CDC
2010
IEEE
111views Control Systems» more  CDC 2010»
15 years 1 months ago
Retrospective cost adaptive control for nonminimum-phase discrete-time systems, part 1: The ideal controller and error system
We present a direct adaptive controller for discrete-time (and thus sampled-data) systems that are possibly nonminimum phase. The adaptive control algorithm requires limited model ...
Jesse B. Hoagg, Dennis S. Bernstein
DAC
2009
ACM
16 years 7 months ago
Fault models for embedded-DRAM macros
In this paper, we compare embedded-DRAM (eDRAM) testing to both SRAM testing and commodity-DRAM testing, since an eDRAM macro uses DRAM cells with an SRAM interface. We first star...
Ching-Yu Chin, Hao-Yu Yang, Mango Chia-Tso Chao, R...