22698 search results - page 4519 / 4540 » Modeling in Software Engineering |
DEBS
2010
ACM
13 years 10 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...
POPL
2010
ACM
13 years 9 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Learning a sequence classifier means learning to predict a sequence of output tags based on a set of input data items. For example, recognizing that a handwritten word is "ca...