Sciweavers

8766 search results - page 1245 / 1754
» Functional logic programming
Sort
View
DAC
2003
ACM
16 years 7 months ago
Making cyclic circuits acyclic
Cyclic circuits that do not hold state or oscillate are often the most convenient representation for certain functions, such as arbiters, and can easily be produced inadvertently ...
Stephen A. Edwards
DAC
2006
ACM
16 years 7 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
BPM
2009
Springer
143views Business» more  BPM 2009»
16 years 22 days ago
Integrating Users in Object-Aware Process Management Systems: Issues and Challenges
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
Vera Künzle, Manfred Reichert
RTCSA
2008
IEEE
16 years 16 days ago
Efficient Query Processing for Tracing RFID Tags by Reordering Location Identifiers
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
Sungwoo Ahn, Bonghee Hong
166
Voted
FUZZIEEE
2007
IEEE
16 years 14 days ago
Metrics for Vague Spatial Objects Based on the Concept of Mass
Abstract— Many spatial phenomena exhibit vagueness. Representation of such phenomena requires vague objects. In previous work, we provided definitions for vague objects: vague p...
Arta Dilo, Rolf A. de By, Alfred Stein
« Prev « First page 1245 / 1754 Last » Next »