Sciweavers

2302 search results - page 210 / 461
» Basic Description Logics
Sort
View
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
15 years 2 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
DFT
2005
IEEE
103views VLSI» more  DFT 2005»
15 years 10 months ago
Methodologies and Algorithms for Testing Switch-Based NoC Interconnects
In this paper, we present two novel methodologies for testing the interconnect fabrics of network-on-chip (NoC) based chips. Both use the concept of recursive testing, with differ...
Cristian Grecu, Partha Pratim Pande, Baosheng Wang...
WCFLP
2005
ACM
15 years 10 months ago
Translating curry to haskell system demo
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
Bernd Braßel, Frank Huch
CCCG
2003
15 years 6 months ago
Hinged Dissection of Polygons is Hard
We show several natural questions about hinged dissections of polygons to be PSPACE-hard. The most basic of these is: Given a hinged set of pieces and two configurations for them...
Robert A. Hearn, Erik D. Demaine, Greg N. Frederic...
CORR
2010
Springer
105views Education» more  CORR 2010»
15 years 4 months ago
A multivalued knowledge-base model
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
Agnes Achs