Sciweavers

1186 search results - page 132 / 238
» State machine models of timing and circuit design
Sort
View
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
15 years 4 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
DAC
1999
ACM
15 years 11 months ago
Equivalent Elmore Delay for RLC Trees
- Closed form solutions for the 50% delay, rise time, overshoots, and settling time of signals in an RLC tree are presented. These solutions have the same accuracy characteristics ...
Eby G. Friedman, José Luis Neves, Yehea I. ...
ICML
2008
IEEE
15 years 10 months ago
The skew spectrum of graphs
The central issue in representing graphstructured data instances in learning algorithms is designing features which are invariant to permuting the numbering of the vertices. We pr...
Risi Imre Kondor, Karsten M. Borgwardt
MSS
2003
IEEE
173views Hardware» more  MSS 2003»
15 years 3 months ago
Peabody: The Time Travelling Disk
Disk drives are now available with capacities on the order of hundreds of gigabytes. What has not become available is an easy way to manage storage. With installed machines locate...
Charles B. Morrey III, Dirk Grunwald
ALIFE
2000
14 years 9 months ago
Talking Helps: Evolving Communicating Agents for the Predator-Prey Pursuit Problem
We analyze a general model of multi-agent communication in which all agents communicate simultaneously to a message board. A genetic algorithm is used to evolve multi-agent languag...
Kam-Chuen Jim, C. Lee Giles