BibSonomy
::
relations
::
snowball
tag
user
group
author
concept
BibTeX key
search:all
search:snowball
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
relations
previous |
next
edit
previous |
next
edit
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
$k$-counter
(cnc)
(Computer
(computer
(computer);
(dsbb)
(OSEFA);
(programming
(uwe)
--
1;
72,
9076
abstract
abstraction;
ADA
aided
algorithms,
Algorithms;
algorithms;
all-to-all
allocation;
analysis,
analysis;
Animation;
application
applications;
architecture
Architecture,
architecture,
architecture;
architectures,
arithmetic;
assertions;
automata
automata,
automata-theory,automata-history
automaton;
auxiliary
B(PN)$^2$,
BCPL;
Benchmarking,
benchmarks
binder
black
blind
book
book,
box
broadcast
broadcast;
Browsing
by
C
c
C,
cbse7
CCL;
CCS
CHAM,
checking;
chrono-topology;
Class
classification,
closed
CM(k);
Collective
collective
collop
collop,
communication
Communication,
compendium
compilation
compilation;
compilers,
complexity
complexity;
Component
component
component,
component-oriented;
components
composition
comprehensibility;
comprehension,
computation;
Computational
computational
Computer
computer
computers
Computers,
computers;
computing
computing;
concatenate;
concurrency,
Concurrent;
concurrent;
Conditional
conditional
Configuration
Conic
ConicDraw
construction
construction;
continuity
continuous
contract;
Control
control
control;
cose
counter
counter-automata;
counters;
criteria;
Critical
CRPITVol10
cryptography,
CS-2,
csp
Data
data
databases;
decomposition;
dependencies;
dependency;
description;
Design
design
design,
design-patterns
design;
designer;
details;
detection;
development
development;
developments;
digital
directions;
Distributed
distributed
distribution;
Domain
domain
Dyck
ECOOP;
Eiffel;
Empirical
encapsulation;
engineering
engineering;
enhancement
Enumerated
environment
environment;
environments;
equivalence
Error
error
etc
Euclid;
evaluation,
evaluation;
evolution;
execution;
Experimentation,
Faceted
famoos
FFT,
Finite
fix
flexibility;
flow,
fnrs95
fnrs97
focbs97
for
forecasting;
formal
Fortran
framework
framework;
free;
Full-reuse
functional
future
gather;
glue
Goal/Question/Metric
goal;
GP,
GQM,
graphic
graphics,
graphs
handbooks,
hardware
high
high-performance
Hybrid
IBM
implementation
implementation;
imported
indexing,
indices
Industrial
Information
interface
Interface;
interface;
Interfaces
interfaces
international
intersection
irreversible
Iterative
jb04
jb94
jb95
jb97
jpict
Keyword
kollop
kollop,
L3Ref,
language)
language);
language;
languages
languages,
languages;
law;
least
legality
level
libraries,
libraries;
library
library;
limit
linguistics;
LISP
Loading;
Log
loggp,
logic;
logp
M-nets,
machine
machine;
machines;
maintenance,
management
management;
manuals,
manufacturing
manufacturing;
massively
measurement;
Meiko
memory;
Message
message
message;
methods,
metrics,
mobility
model
Model,
model,
model;
modelling;
models,
modularization;
modules;
monitoring
MPI
MPI,
MPI-2;
MPICH;
multicast
Multicast,
multicounter
net
nets,
nets;
Network
nondeterministic
Numerical
numerical
Object
object
Object-oriented
object-oriented
OBM94-09
observation;
of
offline;
olit
olit-obc
olit-reuse
online;
oopsla93
OOSC01
Open
operating
operations;
oriented
osg
osg-ftp
P,
paradigm,
paralg,
Parallel
parallel
PARKBENCH
partial,
partially
PASCAL;
passing
Passing,
passing;
Patient
pattern,
patterns
patterns;
pcalc
PEP,
performance
Personal
Petri
physics;
point-to-point
polynomial
popl91
portability;
Portable
portable
POWERparallel
PRAM,
precision
problem
problems;
process
process,
processes,
processing
processing;
processors,
PROGLANG,
Program
program
Programming
programming
programming;
programs,
project
Proteus
public
PVM
QoS,
quasirealtime
Queueing
Quick
racl
realistic
reduce;
refactoring
relationships;
reliability
reliability;
Report/committee,
repositories;
research
retrieval
retrieval,
Reusability,
Reuse
reuse,
reversible
robots;
rtao
sa
Safety
Scalable
scalable;
Scatter,
scatter;
scg-coord
scg-pub
scglib
sclit
scripting
scripting,
SDL,
searching,
section:
security
security;
semantics
semantics;
semiAFL;
Sequential;
sequential;
set;
shift;
similarity
simulation;
Small
snf04
Software
software
sort,
special
specialists;
specific
specification;
split-C,
standard
standard;
standardization;
Standards
standards;
storage
storage,
Structural
structure;
structured
structures;
support
swarch
Synchronization;
synchronize;
synthesis;
System
system
system;
Systems
systems
systems,
systems;
talk,
techniques;
technological
technology
testing;
text,
theory
theory;
time
tool
tools;
topology
topology;
TR
TR72,
tunable
Turing
two-counter
Type
type
Typeless
types
types;
typestate
unified
universality
Unix
User
variable
vendors;
verification
Verification.
verification;
very
Virtual
virtual
visprog
vo93
window,
work
workstation;
Workstations,
wright
writers;
X
Xlib,
Xwindow,
zz0297
zz0700
{Fortran}