Sciweavers

689 search results - page 41 / 138
» Encapsulation theory fundamentals
Sort
View
ICFP
2007
ACM
14 years 10 months ago
Type-safe higher-order channels in ML-like languages
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
Sungwoo Park
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
14 years 6 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
COMPGEOM
2006
ACM
14 years 4 months ago
Vines and vineyards by updating persistence in linear time
Persistent homology is the mathematical core of recent work on shape, including reconstruction, recognition, and matching. Its pertinent information is encapsulated by a pairing o...
David Cohen-Steiner, Herbert Edelsbrunner, Dmitriy...
DFMA
2005
IEEE
152views Multimedia» more  DFMA 2005»
14 years 3 months ago
An Agent Based Meta-Model For Urban Mobility Modeling
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
Nicolas Marilleau
ERLANG
2004
ACM
14 years 3 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson