1981 search results - page 248 / 397 » Model-Checking Hierarchical Structures |
EUROPAR
2004
Springer
14 years 2 months ago
2004
Springer
The parallel realization of adaptive finite element methods (FEM) has to deal with several irregular and dynamic algorithmic properties caused by adaptive mesh refinement (AMR). ...
HSNMC
2004
Springer
14 years 2 months ago
2004
Springer
Multimedia delivery systems, such as Content Distribution Networks (CDNs), improve by knowing the geographic location of their clients. Therefore, we focus on a measurement-based g...
QSIC
2003
IEEE
14 years 2 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
ISMIR
2001
Springer
14 years 1 months ago
2001
Springer
Musical genres are categorical descriptions that are used to describe music. They are commonly used to structure the increasing amounts of music available in digital form on the W...
ESOP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...