7092 search results - page 1177 / 1419 » Parallelizing constraint programs |
119
Voted
GPC
2007
Springer
15 years 8 months ago
2007
Springer
Recent growth in computing devices from the smartphone to the desktop computer has led to users interacting with multiple computing devices throughout the course of the day. Modern...
116
Voted
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
108
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...
112
click to vote
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
Needs in the worldwide competition push teams to master more and more their design flow in order to minimize risks, costs, time to market, and potential liabilities. The classical...
128
click to vote
ICPADS
2006
IEEE
15 years 8 months ago
2006
IEEE
In battery powered systems such as wireless sensor networks, energy efficiency is one of the most important system design goals. In this paper, energy efficiency is examined fro...