Sciweavers

8771 search results - page 517 / 1755
» Different by design
Sort
View
RSP
2000
IEEE
111views Control Systems» more  RSP 2000»
15 years 11 months ago
Reconfigurable Instruction Set Processors: A Survey
Reconfigurable instruction set processors have the capability to adapt their instruction sets to the application being executed through a reconfiguration in their hardware. Throug...
Francisco Barat, Rudy Lauwereins
SNPD
2008
15 years 8 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
CORR
2008
Springer
67views Education» more  CORR 2008»
15 years 7 months ago
Noise and thermal stability of vibrating micro-gyrometers preamplifiers
The preamplifier is a critical component of gyrometer's electronics. Indeed the resolution of the sensor is limited by its signal to noise ratio, and the gyrometer's the...
R. Levy, Antoine Dupret, Hervé Mathias, Jea...
ICDIM
2010
IEEE
15 years 5 months ago
Risk management in dynamic role based access control systems
We present a risk management framework which allows to reason about and manage risk for role based access control systems. The framework expresses essential characteristics of risk...
Ji Ma, Kamel Adi, Luigi Logrippo, Serge Mankovski
264
Voted
ATAL
2010
Springer
15 years 8 months ago
Virtual world builder toolkit
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
T. Trescak, M. Esteva, I. Rodriguez, J. Morales