Sciweavers

1559 search results - page 51 / 312
» The Semantics of Future and Its Use in Program Optimizations
Sort
View
POPL
2009
ACM
15 years 10 months ago
Copy-on-write in the PHP language
PHP is a popular language for server-side applications. In PHP, assignment to variables copies the assigned values, according to its so-called copy-on-assignment semantics. In con...
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera...
NSPW
2006
ACM
15 years 3 months ago
E-Prime for security: a new security paradigm
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
Steven J. Greenwald
SIGMOD
1996
ACM
99views Database» more  SIGMOD 1996»
15 years 1 months ago
A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
Leonid Libkin, Rona Machlin, Limsoon Wong
ICAS
2009
IEEE
142views Robotics» more  ICAS 2009»
15 years 4 months ago
Semantic Approach to Dynamic Coordination in Autonomous Systems
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
Artem Katasonov, Vagan Y. Terziyan
FMICS
2007
Springer
15 years 4 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...