Sciweavers

313 search results - page 58 / 63
» WebDSL: A Case Study in Domain-Specific Language Engineering
Sort
View
CODES
2006
IEEE
15 years 11 months ago
Streamroller: : automatic synthesis of prescribed throughput accelerator pipelines
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
Manjunath Kudlur, Kevin Fan, Scott A. Mahlke
EUROMICRO
2005
IEEE
15 years 11 months ago
Developing Content-Intensive Applications with XML Documents, Document Transformations and Software Components
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
José Luis Sierra, Alfredo Fernández-...
ESAW
2005
Springer
15 years 11 months ago
Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
Oguz Dikenelli, Riza Cenk Erdur, Geylani Kardas, &...
ICFEM
2004
Springer
15 years 10 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
ICFEM
2004
Springer
15 years 10 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...