3676 search results - page 690 / 736 » Scalable component abstractions |
107
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
120
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
101
click to vote
CHI
2006
ACM
16 years 27 days ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...
97
Voted
VLSID
2006
IEEE
16 years 26 days ago
2006
IEEE
SoC design methodologies are under constant revision due to adoption of fast shrinking process technologies at nanometer levels. Nanometer process geometries exhibit new complex d...
128
click to vote
VLSID
2006
IEEE
16 years 26 days ago
2006
IEEE
With device size shrinking and fast rising frequency ranges, effect of cosmic radiations and alpha particles known as Single-Event-Upset (SEU), Single-Eventtransients (SET), is a ...