Sciweavers

2645 search results - page 160 / 529
» time 2003
Sort
View
IMR
2003
Springer
15 years 11 months ago
Anisotropic Mesh Adaptation for Transient Flows Simulations
Unstructured mesh adaptation has already revealed very efficient for computing an accurate solution in a reasonnable amount of time on current PC architectures. Two features are s...
Pascal J. Frey, Frédéric Alauzet
GD
2001
Springer
15 years 10 months ago
A Characterization of DFS Cotree Critical Graphs
We give a characterization of DFS cotree-critical graphs which is central to the linear time Kuratowski finding algorithm implemented in PIGALE (Public Implementation of a Graph ...
Hubert de Fraysseix, Patrice Ossona de Mendez
CCS
2003
ACM
15 years 9 months ago
LEAP: efficient security mechanisms for large-scale distributed sensor networks
We describe LEAP (Localized Encryption and Authentication Protocol), a key management protocol for sensor networks that is designed to support in-network processing, while at the ...
Sencun Zhu, Sanjeev Setia, Sushil Jajodia
WSC
2008
15 years 8 months ago
Metodology for selecting the best suitable bottleneck detection method
Focusing on process constraints (or bottlenecks) is how companies are improving productivity, decreasing response times. However, a bottleneck is not easily detectable, especially...
Eliseu Lima, Leonardo Chwif, Marcos Ribeiro, Perei...
BIRTHDAY
2008
Springer
15 years 8 months ago
From Monadic Logic to PSL
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
Moshe Y. Vardi