Sciweavers

656 search results - page 93 / 132
» Brain Complexity: Analysis, Models and Limits of Understandi...
Sort
View
ICCAD
1999
IEEE
67views Hardware» more  ICCAD 1999»
13 years 12 months ago
Realizable reduction for RC interconnect circuits
Interconnect reduction is an important step in the design and analysis of complex interconnects found in present-day integrated circuits. This paper presents techniques for obtain...
Anirudh Devgan, Peter R. O'Brien
CORR
2011
Springer
339views Education» more  CORR 2011»
13 years 2 months ago
Context Capture in Software Development
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...
Bruno Antunes, Francisco Correia, Paulo Gomes
LPAR
2007
Springer
14 years 1 months ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
WSC
2000
13 years 9 months ago
Enterprise Simulation: framework for a strategic application
The term Enterprise Simulation (ES) is gaining acceptance among simulation practitioners. It is coming to represent certain tangible attributes, and its benefits seem apparent in ...
Milind M. Datar
SC
2005
ACM
14 years 1 months ago
Bridging the Macro and Micro: A Computing Intensive Earthquake Study Using Discovery Net
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
Yike Guo, Jian Guo Liu, Moustafa Ghanem, Kyran Mis...