Sciweavers

689 search results - page 72 / 138
» Encapsulation theory fundamentals
Sort
View
JSC
2007
58views more  JSC 2007»
13 years 9 months ago
Are Buchberger's criteria necessary for the chain condition?
Buchberger’s Gr¨obner basis theory plays a fundamental role in symbolic computation. The resulting algorithms essentially carry out several S-polynomial reductions. In his PhD ...
Hoon Hong, John Perry
CGF
2000
106views more  CGF 2000»
13 years 9 months ago
Constructive Volume Geometry
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
Min Chen, J. V. Tucker
APAL
1999
97views more  APAL 1999»
13 years 9 months ago
Coalgebraic Logic
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
Lawrence S. Moss
TCS
1998
13 years 9 months ago
ERCW PRAMs and Optical Communication
This paper presents algorithms and lower bounds for several fundamental problems on the Exclusive Read, Concurrent Write Parallel Random Access Machine (ERCW PRAM) and some result...
Philip D. MacKenzie, Vijaya Ramachandran
TPDS
1998
64views more  TPDS 1998»
13 years 9 months ago
Modeled and Measured Instruction Fetching Performance for Superscalar Microprocessors
—Instruction fetching is critical to the performance of a superscalar microprocessor. We develop a mathematical model for three different cache techniques and evaluate its perfor...
Steven Wallace, Nader Bagherzadeh