1750 search results - page 306 / 350 » Formal multiple-bernoulli models for language modeling |
156
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
206
click to vote
HASKELL
2009
ACM
16 years 18 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
265
Voted
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
158
click to vote
KBSE
2007
IEEE
16 years 11 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
163
Voted
AGTIVE
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...