12742 search results - page 293 / 2549 » On canonical number systems |
191
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
169
click to vote
ICDE
1994
IEEE
15 years 10 months ago
1994
IEEE
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...
177
click to vote
DISCO
1993
15 years 10 months ago
1993
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
144
click to vote
SPAA
1992
ACM
15 years 10 months ago
1992
ACM
A global barrier synchronizes all processors in a parallel system. This paper investigates algorithms that allow disjoint subsets of processors to synchronize independently and in...
174
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
In our work we have proposed an agent-based model e-commerce system. In this system buyer agents negotiate prices with seller agents. Thus far our attention was devoted "one ...