356 search results - page 51 / 72 » The Language Features and Architecture of B-Prolog |
197
Voted
ASPLOS
2006
ACM
16 years 14 hour ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
149
Voted
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
169
click to vote
APSEC
2008
IEEE
16 years 16 days ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
176
click to vote
HASE
2007
IEEE
16 years 11 days ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
170
click to vote
DATE
2006
IEEE
16 years 3 days ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...