1755 search results - page 105 / 351 » An efficient simulation algorithm based on abstract interpre... |
136
click to vote
IOR
2008
15 years 3 months ago
2008
Wireless sensor networks pose numerous fundamental coordination problems. For instance, in a number of application domains including homeland security, environmental monitoring an...
159
click to vote
TPDS
2010
14 years 9 months ago
2010
The basic operation in such a network is the systematic gathering (with or without in-network aggregation) and transmitting of sensed data to a base station for further processing....
126
click to vote
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
157
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
The UNIC code is being developed as part of the DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. UNIC is an unstructured, deterministic neutron transport c...
129
click to vote
RECOMB
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. So far, most methods for identifying sequences under selection based on comparative sequence data have either assumed selectional pressures are the same across all branch...