276 - 300 of 1,117
Number of results to display per page
TitleDateTypeSetname
276 Correctness proofs for device drivers in embedded systems2010Textir_uspace
277 Cost-effective data-parallel load balancing1995Textir_uspace
278 CPU reservations and time constraints: implementation experience on windows NT1999-01-01Textir_uspace
279 Cramer-Rao bounds for nonparametric surface reconstruction from range data2003-04-18Textir_uspace
280 Critical hazard free test generation for asynchronous circuits1997Textir_uspace
281 crowdLabs: a provenance enabled web repository2010-03-15Text; Imageir_uspace
282 Curve boxplot: Generalization of boxplot for ensembles of curves2014-01-01Textir_uspace
283 D.C.P.L. - A distributed control programming language1970Textir_uspace
284 DAG-based software frameworks for PDEs2012-01-01Textir_uspace
285 Data and range-bounded polynomials in ENO methods2012-01-01Textir_uspace
286 Data distributed, parallel algorithm for ray-traced volume rendering1993Textir_uspace
287 Data distributed, parallel algorithm for ray-traced volume rendering1993Textir_uspace
288 Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systems1978Textir_uspace
289 Data structures and system support for a graphical programming language editing and program development environment1983-12Textir_computersa
290 Dataflow computers: a tutorial and survey1980Textir_uspace
291 DataStations: ubiquitous transient storage for mobile users2003-11-14Textir_uspace
292 Decomposing the proof of correctness of pipelined microprocessors1998Textir_uspace
293 DeepPeep: A Form Search EngineText; Imageir_uspace
294 Deformation embedding for point-based elastoplastic simulation2014-01-01Textir_uspace
295 Denotational models for parallel programs with indeterminate operators1977Textir_uspace
296 Deriving abstract transfer functions for analyzing embedded software2006-01-01Textir_uspace
297 Deriving efficient cache coherence protocols through refinement1997Textir_uspace
298 Description of functionality of the impulse memory controller2001Textir_uspace
299 Design a DRAM backend for the impulse memory system2000Textir_uspace
300 Design alternatives for shared memory multiprocessors1998Textir_uspace
276 - 300 of 1,117