Sciweavers

835 search results - page 79 / 167
» Platforms for agent-oriented software engineering
Sort
View
202
Voted
CGO
2011
IEEE
14 years 7 months ago
Practical memory checking with Dr. Memory
—Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs to identify and fix due to t...
Derek Bruening, Qin Zhao
104
Voted
CAL
2011
14 years 3 months ago
Heterogeneity in "Homogeneous" Warehouse-Scale Computers: A Performance Opportunity
—The class of modern datacenters recently coined as “warehouse scale computers” (WSCs) has traditionally been embraced as homogeneous computing platforms. However, due to fre...
Jason Mars, Lingjia Tang, Robert Hundt
433
Voted
ICSE
2012
IEEE-ACM
13 years 5 months ago
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jan...
140
Voted
LCTRTS
1999
Springer
15 years 7 months ago
A Software Synthesis Tool for Distributed Embedded System Design
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
Dong-In Kang, Richard Gerber, Leana Golubchik, Jef...
ACHI
2008
IEEE
15 years 10 months ago
Turning Web 2.0 Social Software into Versatile Collaborative Learning Solutions
—In the framework of the European Integrated Project PALETTE, the École Polytechnique Fédérale de Lausanne (EPFL) is developing the eLogbook Web 2.0 social software. The purpo...
Denis Gillet, Sandy El Helou, Chiu-Man Yu, Christo...