Sciweavers

4438 search results - page 332 / 888
» The Case for Collaborative Programming
Sort
View
ICFP
2010
ACM
15 years 7 months ago
ReCaml: execution state as the cornerstone of reconfigurations
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
Jérémy Buisson, Fabien Dagnat
ICRA
2008
IEEE
147views Robotics» more  ICRA 2008»
16 years 1 months ago
Automatic deployment and formation control of decentralized multi-agent networks
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...
Brian Stephen Smith, Magnus Egerstedt, Ayanna M. H...
WCRE
2005
IEEE
16 years 10 days ago
Symbolic Interpretation of Legacy Assembly Language
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
Jacques Carette, Pulak Kumar Chowdhury
178
Voted
SWSTE
2003
IEEE
16 years 1 days ago
Towards a Standard Family of Languages for Matching Patterns in Source Code
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
Uri Dekel, Tal Cohen, Sara Porat
FPCA
1993
15 years 11 months ago
Parallel Implementation of Bags
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...
Herbert Kuchen, Katia Gladitz