3388 search results - page 298 / 678 » Type-theoretic design patterns |
136
click to vote
ITC
1999
IEEE
15 years 11 months ago
1999
IEEE
Power consumption of digital systems may increase significantly during testing. In this paper, systems equipped with a scan-based built-in self-test like the STUMPS architecture a...
150
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
167
click to vote
MASS
2010
15 years 4 months ago
2010
Abstract--In mobile social networks (MSNets), data dissemination is an important topic, which has not been widely investigated yet. Active data dissemination is a networking paradi...
208
click to vote
MOBICOM
2012
ACM
13 years 9 months ago
2012
ACM
As we are surrounded by an ever-larger variety of post-PC devices, the traditional methods for identifying and authenticating users have become cumbersome and time-consuming. In t...
184
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...