Sciweavers

634 search results - page 127 / 127
» Separability in the Ambient Logic
Sort
View
TCAD
2010
136views more  TCAD 2010»
12 years 11 months ago
Bounded Model Debugging
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
Brian Keng, Sean Safarpour, Andreas G. Veneris
BTW
2007
Springer
245views Database» more  BTW 2007»
13 years 11 months ago
From Personal Desktops to Personal Dataspaces: A Report on Building the iMeMex Personal Dataspace Management System
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
Jens-Peter Dittrich, Lukas Blunschi, Markus Fä...
ISCAS
1995
IEEE
114views Hardware» more  ISCAS 1995»
13 years 8 months ago
Delta-Sigma Converters Using Frequency-Modulated Intermediate Values
Abstract— This paper describes a new first and secondorder delta-sigma modulator (DSM) concept where the first integrator is extracted and implemented by a FM oscillator with t...
Mats Erling Høvin, Alf Olsen, Tor Sverre La...
ICTAC
2010
Springer
13 years 3 months ago
Preference and Non-deterministic Choice
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Bill Stoddart, Frank Zeyda, Steve Dunne