2585 search results - page 153 / 517 » computing 1999 |
124
Voted
CHI
1999
ACM
15 years 8 months ago
1999
ACM
Mobile workers need seamless access to communication and information services on portable devices. However current solutions overwhelm users with intrusive and ambiguous notificat...
130
Voted
CAD
1999
Springer
15 years 3 months ago
1999
Springer
This article presents an efficient and robust algorithm that computes the intersection curve of two ruled surfaces. The surface intersection problem is reformulated as a zero-set ...
113
Voted
EH
1999
IEEE
15 years 8 months ago
1999
IEEE
MorphoSys is a system-on-chip which combines a RISC processor with an array of reconfigurable cells. The important features of MorphoSys are coarse-grain granularity, dynamic reco...
123
Voted
ICPP
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes a novel compile-time list-based task scheduling algorithm for distributed-memory systems, called Fast Load Balancing (FLB). Compared to other typical list sch...
93
Voted
BIRTHDAY
1999
Springer
15 years 7 months ago
1999
Springer
We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more...