2624 search results - page 263 / 525 » The 2LIP model and its implementations |
171
click to vote
CDC
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
222
click to vote
TCAD
2010
15 years 19 days ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
149
click to vote
ESOP
2012
Springer
14 years 1 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
137
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
LAPI is a low-level, high-performance communication interface available on the IBM RS/6000 SP system. It provides an activemessage-like interface along with remote memory copy and...
168
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...