Sciweavers

4870 search results - page 406 / 974
» Construction of Wavelets and Applications
Sort
View
243
Voted
ESOP
2006
Springer
15 years 11 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
ICSE
2000
IEEE-ACM
15 years 11 months ago
Automated refactoring to introduce design patterns
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
Mel Ó Cinnéide
188
Voted
ISER
2000
Springer
151views Robotics» more  ISER 2000»
15 years 11 months ago
Super Mechano-System: New Perspective for Versatile Robotic System
: This paper discusses the general concept of the Super Mechano-System, or SMS and its anticipated applications. The SMS is a new type of robot system, which can transform its shap...
Shigeo Hirose
225
Voted
SAC
2000
ACM
15 years 11 months ago
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
James F. Power, Brian A. Malloy
224
Voted
NSDI
2008
15 years 10 months ago
Securing Distributed Systems with Information Flow Control
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
Nickolai Zeldovich, Silas Boyd-Wickizer, David Maz...