3239 search results - page 353 / 648 » A Logical Process Calculus |
126
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
We discuss high-performance programmable asynchronous pipeline arrays (PAPAs). These pipeline arrays are coarse-grain field programmable gate arrays (FPGAs) that realize high data...
133
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
109
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
The buffer pool manager is a central component of ADABAS, a high performance scaleable database system for OLTP processing. High efficiency and scalability of the buffer pool mana...
123
click to vote
DLOG
2003
15 years 5 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
116
click to vote
FSKD
2008
Springer
15 years 5 months ago
2008
Springer
This research uses the Analytic Hierarchy Process (AHP) and analysis level procedural law to assess adolescent golf player’s skills and inform the coaches of the training they s...