14809 search results - page 2636 / 2962 » Model transformation by demonstration |
178
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— As microprocessor technology continues to scale into the nanometer regime, recent studies show that interconnect delay will be a limiting factor for performance, and multiple c...
191
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Gossip protocols, also known as epidemic dissemination schemes, are becoming increasingly popular in distributed systems. Yet, it has remained a partially open question to determin...
220
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
Body sensor networks are emerging as a promising platform for remote human monitoring. With the aim of extracting bio-kinematic parameters from distributed body-worn sensors, thes...
174
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
We propose a hierarchical mixed signal design methodology based on the principles of Platform-Based Design (PBD). The methodology is a meet-in-the-middle approach where design com...
189
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...