Sciweavers

15416 search results - page 165 / 3084
» Embeddings of Computable Structures
Sort
View
SAC
2009
ACM
15 years 8 months ago
The device service bus: a solution for embedded device integration through web services
This paper presents a middleware infrastructure for integration of heterogeneous embedded devices in ubiquitous computing environments. The proposed infrastructure employs the Dev...
Gustavo Medeiros Araújo, Frank Siqueira
132
Voted
SIGCSE
2005
ACM
142views Education» more  SIGCSE 2005»
15 years 9 months ago
Closed laboratories with embedded instructional research design for CS1
Closed laboratories are becoming an increasingly popular approach to teaching introductory computer science courses. However, as observed in [1], “Considering the prevalence of ...
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen N...
DAC
2003
ACM
15 years 9 months ago
A timing-accurate modeling and simulation environment for networked embedded systems
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
Franco Fummi, Giovanni Perbellini, Paolo Gallo, Ma...
COMGEO
2012
ACM
13 years 12 months ago
Algorithms for the edge-width of an embedded graph
Let G be an unweighted graph of complexity n embedded in a surface of genus g, orientable or not. We describe improved algorithms to compute a shortest non-contractible and a shor...
Sergio Cabello, Éric Colin de Verdiè...
VMCAI
2010
Springer
16 years 1 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani