853 search results - page 129 / 171 » Delimited Continuations in Operating Systems |
125
click to vote
CISIS
2009
IEEE
14 years 11 months ago
2009
IEEE
The volume of stream data delivered from different information sources is increasing. There are a variety of demands to utilize such stream data for applications. Stream processin...
120
click to vote
SAT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
108
click to vote
APCCM
2009
15 years 2 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
111
click to vote
SIMUTOOLS
2008
15 years 2 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
ICAT
2003
IEEE
15 years 6 months ago
2003
IEEE
Traditionally film making costs a huge amount of money and a great deal of time and labor. Converting traditional techniques of film making into virtual techniques could save mone...