Sciweavers

3605 search results - page 421 / 721
» Analysis and Applications of the XDI model
Sort
View
ICDM
2007
IEEE
124views Data Mining» more  ICDM 2007»
16 years 1 months ago
Community Learning by Graph Approximation
Learning communities from a graph is an important problem in many domains. Different types of communities can be generalized as link-pattern based communities. In this paper, we p...
Bo Long, Xiaoyun Xu, Zhongfei (Mark) Zhang, Philip...
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
16 years 19 days ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
SAC
2003
ACM
15 years 12 months ago
Automatic Code Generation for a Convection Scheme
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
Paul van der Mark, Lex Wolters, Gerard Cats
ASPDAC
2007
ACM
156views Hardware» more  ASPDAC 2007»
15 years 10 months ago
PLLSim - An Ultra Fast Bang-Bang Phase Locked Loop Simulation Tool
- This paper presents a simulation tool targeted specifically at bang-bang type phase locked loop systems. The aim of this simulator is to quickly and accurately predict important ...
Michael Chan, Adam Postula, Yong Ding
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 10 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba