Sciweavers

4737 search results - page 750 / 948
» The LOGIC negotiation model
Sort
View
WCRE
2006
IEEE
16 years 1 months ago
How Programs Represent Reality (and how they don't)
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
Daniel Ratiu, Florian Deissenboeck
ASPDAC
2006
ACM
140views Hardware» more  ASPDAC 2006»
16 years 1 months ago
A cycle accurate power estimation tool
- Power consumption is one of the major challenges in VLSI Design. Power constrained designs need tools to accurately predict the power consumption and provide feedback to designer...
Rajat Chaudhry, Daniel L. Stasiak, Stephen D. Posl...
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
16 years 24 days ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
16 years 24 days ago
Energy Bounds for Fault-Tolerant Nanoscale Designs
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
Diana Marculescu
DEXAW
2005
IEEE
144views Database» more  DEXAW 2005»
16 years 24 days ago
A Partial Ontology for Forest Inventory and Mensuration
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
Keith Rennolls