Sciweavers

298 search results - page 29 / 60
» An Analysis of Exponentiation Based on Formal Languages
Sort
View
MEMOCODE
2003
IEEE
14 years 1 months ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone
APSEC
2006
IEEE
14 years 2 months ago
Project Replayer with Email Analysis - Revealing Contexts in Software Development
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
Kimiharu Okura, Keita Goto, Noriko Hanakawa, Shinj...
CADE
2011
Springer
12 years 8 months ago
Static Analysis of Android Programs
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
Étienne Payet, Fausto Spoto
SAS
2009
Springer
204views Formal Methods» more  SAS 2009»
14 years 8 months ago
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
HICSS
2005
IEEE
150views Biometrics» more  HICSS 2005»
14 years 1 months ago
Collaborative Authoring on the Web: A Genre Analysis of Online Encyclopedias
This paper presents the results of a genre analysis of two web-based collaborative authoring environments, Wikipedia and Everything2, both of which are intended as repositories of...
William G. Emigh, Susan C. Herring