1975 search results - page 380 / 395 » Property analysis and design understanding |
137
Voted
INFORMS
1998
15 years 1 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
327
click to vote
ICA
2012
Springer
13 years 9 months ago
2012
Springer
A novel tensor decomposition called pattern or P-decomposition is proposed to make it possible to identify replicating structures in complex data, such as textures and patterns in ...
110
click to vote
ISQED
2008
IEEE
15 years 8 months ago
2008
IEEE
Clock meshes have found increasingly wide applications in today’s high-performance IC designs. The inherent routing redundancies associated with clock meshes lead to improved cl...
143
Voted
CODES
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
133
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
It has been an important research topic since 1992 to maximize stability region in constrained queueing systems, which includes the study of scheduling over wireless ad hoc networ...