Sciweavers

4277 search results - page 351 / 856
» On Multiple Linear Approximations
Sort
View
CASES
2003
ACM
15 years 3 months ago
Efficient spill code for SDRAM
Processors such as StrongARM and memory such as SDRAM enable efficient execution of multiple loads and stores in a single instruction. This is particularly useful in connection wi...
V. Krishna Nandivada, Jens Palsberg
BPM
2009
Springer
153views Business» more  BPM 2009»
15 years 22 days ago
DECLARE Demo: A Constraint-based Workflow Management System
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
89
Voted
TCAD
2008
114views more  TCAD 2008»
14 years 11 months ago
RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
David A. Papa, Tao Luo, Michael D. Moffitt, Chin-N...
CORR
1999
Springer
75views Education» more  CORR 1999»
14 years 11 months ago
A System of Interaction and Structure
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
Alessio Guglielmi
ICML
2007
IEEE
16 years 13 days ago
Large-scale RLSC learning without agony
The advances in kernel-based learning necessitate the study on solving a large-scale non-sparse positive definite linear system. To provide a deterministic approach, recent resear...
Wenye Li, Kin-Hong Lee, Kwong-Sak Leung