1794 search results - page 234 / 359 » Visualizing Memory Graphs |
115
Voted
ICSE
2009
IEEE-ACM
15 years 7 days ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
149
click to vote
JCPHY
2011
14 years 5 months ago
2011
The calculation of radial distribution functions (RDFs) from molecular dynamics trajectory data is a common and computationally expensive analysis task. The rate limiting step in ...
121
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— We come up with novel quantized averaging algorithms on synchronous and asynchronous communication networks with fixed, switching and random topologies. The implementation of ...
123
Voted
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
The performance of many scientific applications for distributed memory platforms can be increased by utilizing multiprocessor-task programming. To obtain the minimum parallel runt...
120
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...