Sciweavers

2853 search results - page 392 / 571
» A platform for software engineering research
Sort
View
CGO
2009
IEEE
14 years 5 months ago
Stream Compilation for Real-Time Embedded Multicore Systems
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
Yoonseo Choi, Yuan Lin, Nathan Chong, Scott A. Mah...
SCFBM
2008
148views more  SCFBM 2008»
13 years 9 months ago
Flow: Statistics, visualization and informatics for flow cytometry
Flow is an open source software application for clinical and experimental researchers to perform exploratory data analysis, clustering and annotation of flow cytometric data. Flow...
Jacob Frelinger, Thomas B. Kepler, Cliburn Chan
ICSE
2008
IEEE-ACM
14 years 11 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
ICSE
2008
IEEE-ACM
14 years 11 months ago
Data flow testing of service-oriented workflow applications
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
Lijun Mei, W. K. Chan, T. H. Tse
SIGSOFT
2008
ACM
14 years 11 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su