Sciweavers

17054 search results - page 3061 / 3411
» Logics of Dynamical Systems
Sort
View
ICCD
2006
IEEE
115views Hardware» more  ICCD 2006»
16 years 3 months ago
Long-term Performance Bottleneck Analysis and Prediction
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
Fei Gao, Suleyman Sair
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
PEPM
2009
ACM
16 years 3 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
HICSS
2010
IEEE
187views Biometrics» more  HICSS 2010»
16 years 1 months ago
Virtual Micro-Politics: Informal Tactics of Influence and Power in Inter-Organizational Networks
Although virtual organizations and networks have been studied for quite some time, there is still need for research regarding their inner dynamics and the mechanisms of leadership...
Monique Janneck, Henning Staar
SAC
2010
ACM
16 years 1 months ago
A wavelet-based sampling algorithm for wireless sensor networks applications
This work proposes and evaluates a sampling algorithm based on wavelet transforms with Coiflets basis to reduce the data sensed in wireless sensor networks applications. The Coiï...
André L. L. de Aquino, Ricardo A. R. Olivei...
« Prev « First page 3061 / 3411 Last » Next »