Sciweavers

4041 search results - page 228 / 809
» A Model of Creative Understanding
Sort
View
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 11 months ago
A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy
We define a robust fault model as a model where the existence of an undetectable fault implies the existence of logic redundancy, or more generally, a suboptimality in the synthe...
Irith Pomeranz, Sudhakar M. Reddy
CAV
2010
Springer
179views Hardware» more  CAV 2010»
15 years 9 months ago
Generating Litmus Tests for Contrasting Memory Consistency Models
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
MOBIS
2008
15 years 6 months ago
3D Representation of Business Process Models
: 3D technologies open up new possibilities for modeling business processes. They provide higher plasticity and eliminate some deficits of conventional 2D process modeling such as ...
Stefanie Betz, Daniel Eichhorn, Susan Hickl, Stefa...
JAIR
2011
110views more  JAIR 2011»
15 years 7 days ago
Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution
Traditional learning-based coreference resolvers operate by training the mention-pair model for determining whether two mentions are coreferent or not. Though conceptually simple ...
Altaf Rahman, Vincent Ng
ISLPED
2009
ACM
110views Hardware» more  ISLPED 2009»
15 years 11 months ago
SOI, interconnect, package, and mainboard thermal characterization
This paper presents an evaluation to determine the importance of the accurate thermal characterization for several elements of a semiconductor device. Specifically, it evaluates ...
Joseph Nayfach-Battilana, Jose Renau