Sciweavers

1616 search results - page 285 / 324
» Techniques for Achieving High Performance Web Servers
Sort
View
JCDL
2010
ACM
154views Education» more  JCDL 2010»
15 years 7 months ago
Transferring structural markup across translations using multilingual alignment and projection
We present here a method for automatically projecting structural information across translations, including canonical citation structure (such as chapters and sections), speaker i...
David Bamman, Alison Babeu, Gregory Crane
CODES
2000
IEEE
15 years 6 months ago
Co-design of interleaved memory systems
Memory interleaving is a cost-efficient approach to increase bandwidth. Improving data access locality and reducing memory access conflicts are two important aspects to achieve hi...
Hua Lin, Wayne Wolf
ISCAS
1999
IEEE
129views Hardware» more  ISCAS 1999»
15 years 6 months ago
A tunable triode-MOSFET transconductor and its application to gm-C filters
A linear, tunable CMOS transconductance stage is introduced. Drain voltage of the input transistor operating in triode region is settled by a regulation loop and a first-order lin...
Jader A. De Lima, C. Dualibe
HPCA
1997
IEEE
15 years 6 months ago
Datapath Design for a VLIW Video Signal Processor
This paper represents a design study of the datapath for a very long instruction word (VLIW) video signal processor (VSP). VLIW architectures provide high parallelism and excellen...
Andrew Wolfe, Jason Fritts, Santanu Dutta, Edil S....
SIGSOFT
1996
ACM
15 years 6 months ago
Model Checking Large Software Specifications
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...