3885 search results - page 222 / 777 » Transformations for Write-All-with-Collision Model |
115
Voted
PATMOS
2005
Springer
15 years 10 months ago
2005
Springer
A new method for predicting timing jitter caused by device noise in current-mode logic (CML) frequency dividers is presented. Device noise transformation into jitter is modeled as ...
132
click to vote
EPK
2007
15 years 6 months ago
2007
: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Sin...
141
click to vote
FGCS
2000
15 years 4 months ago
2000
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...
142
Voted
ACL
2010
15 years 3 months ago
2010
This paper explores the use of clickthrough data for query spelling correction. First, large amounts of query-correction pairs are derived by analyzing users' query reformula...
176
Voted
AI
2011
Springer
15 years 4 days ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...