1677 search results - page 202 / 336 » On the Completeness of Quantum Computation Models |
165
click to vote
PG
2007
IEEE
16 years 22 days ago
2007
IEEE
We complete and bring together two pairs of surface constructions that use polynomial pieces of degree (3,3) to associate a smooth surface with a mesh. The two pairs complement ea...
172
click to vote
DSN
2005
IEEE
16 years 2 days ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
150
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
184
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
155
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...