6197 search results - page 1036 / 1240 » Sandbridge Software Tools |
162
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
154
click to vote
SIGADA
2005
Springer
16 years 1 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
155
click to vote
UC
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we present WebPS, an open-source web-enabled simulator for P systems, and a P accelerator for parallelization of the existing sequential simulators. The simulator is ...
154
click to vote
DMSN
2004
ACM
16 years 3 hour ago
2004
ACM
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
168
click to vote
ECLIPSE
2004
ACM
16 years 3 hour ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...