Sciweavers

4880 search results - page 443 / 976
» Manuals as Structured Programs
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
A Heterogeneous Lightweight Multithreaded Architecture
Programs with irregular patterns of dynamic data structures and/or those with complicated control structures such as recursion are notoriously difficult to parallelize efficient...
Sheng Li, Amit Kashyap, Shannon K. Kuntz, Jay B. B...
MICCAI
1998
Springer
15 years 11 months ago
AnatomyBrowser: A Framework for Integration of Medical Information
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
Polina Golland, Ron Kikinis, Christopher Umans, Mi...
APSEC
2004
IEEE
15 years 11 months ago
Systematic Operational Profile Development for Software Components
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
Rakesh Shukla, David A. Carrington, Paul A. Stroop...
SODA
2004
ACM
82views Algorithms» more  SODA 2004»
15 years 8 months ago
Dynamizing static algorithms, with applications to dynamic trees and history independence
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...
Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorg...
ENTCS
2006
89views more  ENTCS 2006»
15 years 7 months ago
A Type-theoretic Reconstruction of the Visitor Pattern
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
Peter Buchlovsky, Hayo Thielecke