2850 search results - page 82 / 570 » On Timed Models and Full Abstraction |
193
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
230
click to vote
CAL
2011
14 years 6 months ago
2011
—In this paper we present DRAMSim2, a cycle accurate memory system simulator. The goal of DRAMSim2 is to be an accurate and publicly available DDR2/3 memory system model which ca...
202
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
151
click to vote
ICCS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Hierarchical (H)-matrices approximate full or sparse matrices using a hierarchical data sparse format. The corresponding H-matrix arithmetic reduces the time complexity o...
171
click to vote
MOC
2002
15 years 5 months ago
2002
Abstract. A new strategy to avoid the order reduction of Runge-Kutta methods when integrating linear, autonomous, nonhomogeneous initial boundary value problems is presented. The s...