31387 search results - page 6243 / 6278 » Abstracting abstract machines |
CAI
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ï¬nite model theory and proï...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and veriï¬cation techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
CGF
2011
12 years 11 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated ï¬lms and interactive games have reached a level where the manual creation by tradition...
CNSR
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—In recent years, Peer-to-Peer (P2P) streaming systems experienced tremendous growth and became one of the largest bandwidth consumer on Internet. PPLive, one of the most...
COMGEO
2011
ACM
12 years 11 months ago
2011
ACM
ABSTRACT . Categories and Subject Descriptors K. Computing Milieux K.m MISCELLANEOUS General Terms Theory Keywords Cyber-physics, Internet of Things, Quantum computing Cloud Comput...