12981 search results - page 602 / 2597 » Model Checking (Abstract) |
217
click to vote
TECS
2008
15 years 7 months ago
2008
tion. Transaction Level Modeling (TLM) has been proposed to abstract communication for highspeed system simulation and rapid design space exploration. Although being widely accepte...
183
click to vote
MA
1999
Springer
15 years 11 months ago
1999
Springer
JavaSeal is a secure mobile agent kernel that provides a small set of abstractions for constructing agent applicahis paper describes the design of these abstractions and their imp...
213
click to vote
SG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
180
click to vote
GLVLSI
2003
IEEE
16 years 17 days ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...
156
click to vote
NECO
2007
15 years 6 months ago
2007
ll Text][Abstract] , October 1, 2007; 19 (10): 2604-2609.Neural Comput. R. Brette Exact Simulation of Integrate-and-Fire Models with Exponential Currents ll Text][Abstract] , Novem...