Sciweavers

2346 search results - page 346 / 470
» Hierarchical State Machines
Sort
View
MA
2000
Springer
116views Communications» more  MA 2000»
15 years 10 months ago
Strong Mobility and Fine-Grained Resource Control in NOMADS
NOMADS is a Java-based agent system that supports strong mobility (i.e., the ability to capture and transfer the full execution state of migrating agents) and safe agent execution ...
Niranjan Suri, Jeffrey M. Bradshaw, Maggie R. Bree...
ICS
1995
Tsinghua U.
15 years 10 months ago
Optimum Modulo Schedules for Minimum Register Requirements
Modulo scheduling is an e cient technique for exploiting instruction level parallelism in a variety of loops, resulting in high performance code but increased register requirement...
Alexandre E. Eichenberger, Edward S. Davidson, San...
ISSS
1995
IEEE
109views Hardware» more  ISSS 1995»
15 years 10 months ago
1995 high level synthesis design repository
In this paper we brie y describe a set of designs that can serve as examples for High Level Synthesis (HLS) systems. The designs vary in complexity from simple behavioral nite st...
Preeti Ranjan Panda, Nikil D. Dutt
WSC
2007
15 years 8 months ago
Representation and simulation of stochastic petrinet models using xPNML
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee
ISQED
2010
IEEE
126views Hardware» more  ISQED 2010»
15 years 8 months ago
Modeling and verification of industrial flash memories
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
Sandip Ray, Jayanta Bhadra, Thomas Portlock, Ronal...