3653 search results - page 212 / 731 » On Recognizable Timed Languages |
277
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
153
click to vote
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
288
click to vote
STOC
2003
ACM
16 years 5 months ago
2003
ACM
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
146
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We show lower bounds in the cell probe model for the redundancy/query time tradeoff of solutions to static data structure problems.
161
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...