• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 770
Next 10 →

Developing multi-agent systems with JADE

by Fabio Bellifemine, Agostino Poggi, Giovanni Rimassa - Wiley Series in Agent Technology , 2007
"... Abstract. JADE (Java Agent Development Framework) is a software framework to make easy the development of multi-agent applications in compliance with the FIPA specifications. JADE can then be considered a middle-ware that implements an efficient agent platform and supports the development of multi a ..."
Abstract - Cited by 320 (5 self) - Add to MetaCart
agent systems. JADE agent platform tries to keep high the performance of a distributed agent system implemented with the Java language. In particular, its communication architecture tries to offer flexible and efficient messaging, transparently choosing the best transport available and leveraging state

Jet: An embedded DSL for high performance big data processing

by Stefan Ackermann, Eth Zürich, Vojin Jovanović, Martin Odersky, Tiark Rompf - In International Workshop on End-toend Management of Big Data , 2012
"... Cluster computing systems today impose a trade-off between generality, performance and productivity. Hadoop and Dryad force programmers to write low level programs that are tedious to compose but easy to optimize. Systems like Dryad/LINQ and Spark allow concise modeling of user programs but do not a ..."
Abstract - Cited by 6 (4 self) - Add to MetaCart
framework called Jet. Jet uses deep language embedding in Scala, multi-stage programming and explicit side effect tracking to analyze the structure of user programs. The analysis is used to apply projection insertion, which eliminates unused data, as well as code motion and operation fusion to highly

HaskSAT: an Embedded DSL for SMT Queries

by Nirav Dave
"... As SAT and SMT solvers have improved, it has become common to reduce difficult search problems to satisfiability queries in an appropriate logic. While expressing the queries is often straight-forward at the high-level of the problem domain, converting to low-level logical formulae can be tedious, d ..."
Abstract - Add to MetaCart
, difficult, time consum-ing, and error prone. In addition, there are many data types, like bounded queues and trees, that are common enough to warrant distributing the conversion from data type to logical formula as a library so that they can be reused by others. Toward addressing these issues we introduce

A Geographically Distributed Framework for Embedded

by Ken Hines, Gaetano Borriello - System Design and Validation”, Proc. IEEE/ACM DAC , 1998
"... The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple processors to meet performance criteria. Validation toolsshouldcontain several features in order to keep up with this tren ..."
Abstract - Cited by 13 (1 self) - Add to MetaCart
distributed co-simulation framework. This framework is a system of nodessuchthateach can include either portions of the simulator or real hardware. In support of this, the framework includes a mechanism for maintaining consistent versions of virtual time. 1

EMBEDDED SYSTEMS

by Widita Nugraha Budhysutanto, Widita Nugraha Budhysutanto, Widita Nugraha Budhysutanto
"... Philips Applied Technologies has developed the RT-Motion USB platform as a compact distributed real-time motion control plat-form, but the platform can still be improved by developing a more advanced software framework. The goal of this thesis project is to design a modular software framework to com ..."
Abstract - Add to MetaCart
Philips Applied Technologies has developed the RT-Motion USB platform as a compact distributed real-time motion control plat-form, but the platform can still be improved by developing a more advanced software framework. The goal of this thesis project is to design a modular software framework

Distributed embedded smart cameras for surveillance applications

by Michael Bramberger, Andreas Dobl, Arnold Maier, Bernhard Rinner - Computer , 2006
"... Current high-performance embedded cameras combine video sensing, video processing, and communication within a single device.These smart cameras are key components for novel surveillance systems. Recent advances in computing, communication, and sensor technology are pushing the development of many ne ..."
Abstract - Cited by 74 (20 self) - Add to MetaCart
and a variable number of digital signal processors (DSPs). Using the imple-68 Computer Published by the IEEE Computer Society mented software framework, our embedded cameras offer system-level services such as dynamic load distribution and task reconfiguration. In addition, we combined several smart

Distributed Diagnosis of Networked, Embedded Systems

by James Kurien, Xenofon Koutsoukos, Feng Zhao - In Proceedings of the 13th International Workshop on Principles of Diagnosis (DX-2002 , 2002
"... Networked embedded systems are composed of a large number of physically distributed nodes that interact with the physical world via a set of sensors and actuators, have their own computational capabilities, and communicate with each other via a wired or wireless network. Monitoring and diagnosis ..."
Abstract - Cited by 20 (8 self) - Add to MetaCart
Networked embedded systems are composed of a large number of physically distributed nodes that interact with the physical world via a set of sensors and actuators, have their own computational capabilities, and communicate with each other via a wired or wireless network. Monitoring

A Graceful Degradation Framework for Distributed Embedded Systems

by William Nace, Philip Koopman - Workshop on Reliability in Embedded Systems , 2001
"... Automatic graceful degradation can be accomplished by reconfiguring the software elements of a distributed embedded system to accommodate the available hardware upon detection of a fault. The reconfiguration algorithm selects software components from a Product Family Architecture in order to maximiz ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
Automatic graceful degradation can be accomplished by reconfiguring the software elements of a distributed embedded system to accommodate the available hardware upon detection of a fault. The reconfiguration algorithm selects software components from a Product Family Architecture in order

Static timing analysis of embedded software,” in

by Sharad Malik , Margaret Martonosi , Yau-Tsun Steven Li - Proc. Design Automation Conf., , 1997
"... Abstract This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of appropriate analysis tools. We study dierent performance metrics that need to be considered in this context and ..."
Abstract - Cited by 52 (0 self) - Add to MetaCart
and examine a range of techniques that have been proposed for analysis. Very broadly these can be classied into path analysis and system utilization analysis techniques. It is observed that these are interdependent, and thus need to be considered together in any analysis framework. 1 The Emergence of Embedded

Ipchinook: an integrated ip-based design framework for distributed embedded systems

by Pai Chou, Ross Ortega, Ken Hines, Kurt Partridge, Gaetano Borriello - In Design Automation Conference , 1999
"... IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design abstractions that raise the level of designer interaction during the specification, synthesis, and simulation of the design. IPCHINOOK focuses on a component-based approach ..."
Abstract - Cited by 21 (4 self) - Add to MetaCart
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design abstractions that raise the level of designer interaction during the specification, synthesis, and simulation of the design. IPCHINOOK focuses on a component
Next 10 →
Results 1 - 10 of 770
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University