Sciweavers

3374 search results - page 200 / 675
» Explaining Similarity of Terms
Sort
View
ICFP
2006
ACM
16 years 4 months ago
Context-parametric polykinded types
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
Pablo Nogueira
ICFP
2002
ACM
16 years 4 months ago
Typing dynamic typing
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Arthur I. Baars, S. Doaitse Swierstra
MOBIHOC
2006
ACM
16 years 4 months ago
Minimizing recovery state In geographic ad-hoc routing
Geographic ad hoc networks use position information for routing. They often utilize stateless greedy forwarding and require the use of recovery algorithms when the greedy approach...
Noa Arad, Yuval Shavitt
ICCD
2000
IEEE
93views Hardware» more  ICCD 2000»
16 years 1 months ago
Cheap Out-of-Order Execution Using Delayed Issue
In superscalar architectures, out-of-order issue mechanisms increase performance by dynamically rescheduling instructions that cannot be statically reordered by the compiler. Whil...
J. P. Grossman
ICCAD
2005
IEEE
79views Hardware» more  ICCAD 2005»
16 years 1 months ago
Oscillator-AC: restoring rigour to linearized small-signal analysis of oscillators
— Standard small-signal analysis methods for circuits break down for oscillators because small input perturbations result in arbitrarily large output changes, thus invalidating f...
Ting Mei, Jaijeet S. Roychowdhury