4081 search results - page 293 / 817 » The Impact of Constraint Programming |
135
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
High reliability against noise, low energy consumption and high performance are key objectives in the design of on-chip networks. Recently some researchers have considered the var...
176
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— In this paper we investigate which is the most efficient architecture and protocol that can be used for file distribution. The focus of the analysis is to understand not only...
165
click to vote
TABLETOP
2006
IEEE
16 years 21 days ago
2006
IEEE
Reach heavily impacts all aspects of designing for tangible and tabletop user interfaces. It dictates the input space available to each user and heavily shapes how that space is u...
193
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Safety-criticalembeddedsystems having to meet real-time constraints are to be highlypredictable in order to guarantee at design time that certain timing deadlines will always be m...
159
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...