622 search results - page 112 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
111
click to vote
SOCIALCOM
2010
14 years 6 months ago
2010
Most of the current swarm model studies and applications try to mimic the collective behaviors of social animals, such as birds and ants. The studies seek to solve tasks similar to...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
217
click to vote
PADL
2009
Springer
16 years 11 days ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
SOSP
2001
ACM
15 years 8 months ago
2001
ACM
As raw system and network performance continues to improve at exponential rates, the utility of many services is increasingly limited by availability rather than performance. A ke...
ADCM
2008
14 years 12 months ago
2008
Abstract. Signals with finite rate of innovation are those signals having finite degrees of freedom per unit of time that specify them. In this paper, we introduce a prototypical s...