Sciweavers

1321 search results - page 74 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
113
Voted
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 2 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
95
Voted
SECON
2007
IEEE
15 years 9 months ago
MAC-Layer Capture: A Problem in Wireless Mesh Networks using Beamforming Antennas
— Beamforming antennas have been shown to improve spatial reuse in wireless networks. Protocols that aim to exploit beamforming antennas have leveraged benefits from directional...
Romit Roy Choudhury, Nitin H. Vaidya
123
Voted
IJCM
2008
93views more  IJCM 2008»
15 years 2 months ago
A reinforced learning control using iterative error compensation for uncertain dynamical systems
This paper investigates a learning control using iterative error compensation for uncertain systems to enhance the precision of high speed, computer controlled machining process. ...
Kuei-Shu Hsu, Wen-Shyong Yu, Ming-In Ho
120
Voted
DAGSTUHL
2007
15 years 4 months ago
Programming self developing blob machines for spatial computing.
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
Frédéric Gruau, Christine Eisenbeis
122
Voted
ARVLSI
1997
IEEE
104views VLSI» more  ARVLSI 1997»
15 years 7 months ago
A High-Speed Asynchronous Decompression Circuit for Embedded Processors
This paper describes the architecture and implementation of a high-speed decompression engine for embedded processors. The engine is targeted to processors where embedded programs...
Martin Benes, Andrew Wolfe, Steven M. Nowick