Sciweavers

1837 search results - page 19 / 368
» Abstraction and the C Machine Model
Sort
View
ASM
2005
ASM
14 years 2 months ago
Modeling and Testing Hierarchical GUIs
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
Ana Paiva, Nikolai Tillmann, João C. P. Far...
WSC
1998
13 years 10 months ago
Simulation Modeling at Multiple Levels of Abstraction
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...
Perakath C. Benjamin, Madhav Erraguntla, Dursun De...
EACL
2006
ACL Anthology
13 years 10 months ago
Phrase-Based Backoff Models for Machine Translation of Highly Inflected Languages
We propose a backoff model for phrasebased machine translation that translates unseen word forms in foreign-language text by hierarchical morphological abstractions at the word an...
Mei Yang, Katrin Kirchhoff
FPCA
1995
14 years 5 days ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...
CSIE
2009
IEEE
14 years 16 days ago
An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...
Taekhoon Kim, Sungho Kim, Kirak Hong, Hwangho Kim,...