MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/html; charset=”utf8″
Alper Sarikaya wants you to use Dropbox to sync and share files online and across computers.
Get started here.
- The Dropbox Team
To stop receiving invites from Dropbox, click here
© 2010 Dropbox
This message is in MIME format. The first part should be readable text,
while the remaining parts are likely unreadable without MIME-aware tools.
–8323328-11937451-1280441076=:28570
Content-Type: TEXT/PLAIN; format=flowed; charset=ISO-8859-15
Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# #
# EPEW 2010 #
# #
# 7th European Performance Engineering Workshop #
# Bertinoro (Italy), 23-24 September 2010 #
# #
# http://www.sti.uniurb.it/events/epew2010/ #
# #
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# #
# CALL FOR PARTICIPATION #
# #
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
REGISTRATION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
The on-line registration system is open.
The fee is as follows (early registration deadline is 31 August 2010):
EARLY LATE
Regular 350 euros 400 euros
Student 310 euros 360 euros
The fee includes admission to the workshop, one copy of the proceedings,
half-board accommodation in single room at the University Residential
Center of Bertinoro, coffee breaks, and the social dinner.
=3D=3D=3D=3D=3D=3D=3D=3D
LOCATION
=3D=3D=3D=3D=3D=3D=3D=3D
EPEW 2010 will be held in the medieval hilltop town of Bertinoro.
This town is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport “G. Marconi” of Bologna.
The closest airport is the “L. Ridolfi” airport of Forl=EC.
Travel info available at http://www.sti.uniurb.it/events/epew2010/.
=3D=3D=3D=3D=3D=3D=3D
PROGRAM
=3D=3D=3D=3D=3D=3D=3D
EPEW 2010 aims to gather academic and industrial researchers working
on all aspects of performance engineering:
* Performance modeling and evaluation.
* System and network performance engineering.
* Software performance engineering.
The program includes two invited talks by:
* Marco Roccetti (University of Bologna, IT):
“Modeling and Simulation of Vehicular Traffic Congestion
in Realistic Urban Scenarios”.
* Ralf Reussner (Karlsruhe Institute of Technology, DE):
“From Performance Prediction to Performance Certification”.
as well as five sessions on:
* Network and software performance.
* Timed models and model checking.
* Model solutions and bounds.
* Compositional analysis.
* Case studies.
Full program available at http://www.sti.uniurb.it/events/epew2010/.
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
ORGANIZATION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
General Chair:
Marco Bernardo (University of Urbino, IT)
Program Committee Chairs:
Alessandro Aldini (University of Urbino, IT)
Luciano Bononi (University of Bologna, IT)
Vittorio Cortellessa (University of L’Aquila, IT)
Secretary:
Roberta Partisani (CRU Bertinoro, IT)
–8323328-11937451-1280441076=:28570
Content-Type: text/plain; charset=”us-ascii”
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
—-
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]
–8323328-11937451-1280441076=:28570–
Proposal for a PhD position
===========================
Title
=====
Advanced dataflow programming for embedded systems: analyses for
scheduling and power optimization.
Location
========
Grenoble (France): INRIA Grenoble (Pop Art Team).
Supervisors
===========
INRIA Grenoble: Pascal FRADET and Alain GIRAULT.
ST Microelectronics Ottawa: Ali-Erdem OZCAN and Pierre PAULIN.
Application
===========
The PhD grant is for 36 months. The gross income (i.e., before tax) is
around 2.400 ? per month (29.000 ? per year) and includes health
insurance.
Please send your CV and recommendation letters to
alain.girault@inria.fr and pascal.fradet@inria.fr.
Abstract
========
In this project, we focus on dataflow models of computation to program
applications for a new embedded many-core platform designed by ST
Microelectronics, called P2012. The static dataflow model of
computation (SDF) is widely used because it allows analysis (deadlock
and boundedness) and scheduling. SDF has a clean semantics and leads
to efficient implementations but it cannot express many dynamic
features. In particular, it cannot express dynamic input/output rate
modifications, nor dynamic topology modifications.
With ST Microelectronics, we have been working on a variant of SDF
able to express dynamicity while remaining verifiable (for deadlock
and buffer boundedness) and schedulable.
The goal of the PhD is to study analyses for this new dataflow model
of computation. The purpose of these analyses is to generate
distributed schedules for P2012, optimizing the power consumption and
the execution time. Each computing core of P2012 is equipped with a
hardware mechanism for DVFS (dynamic voltage and frequency scaling).
Required Skills
===============
A Master in computer science or computer engineering, with knowledge
in formal methods, embedded systems, and/or real-time programming. A
knowledge of dataflow programming, semantics, code generation, and/or
distributed scheduling would be a plus.
Context
=======
The context of this work is the ST Microelectronics Platform 2012
initiative (P2012). P2012 is a many-core platform that integrates
multiple clusters of processors and HW accelerators with a
hierarchical memory architecture and a NoC. The position is likely to
involve travels between Grenoble (INRIA) and Ottawa (ST Microelectronics).
The main goal of the POP ART team (http://pop-art.inrialpes.fr) is the
safe design of real-time embedded systems. We explore that area
according to several research directions: programming languages,
models of computation, static analysis, formal verification,
implementation, … The research within POP ART concerns:
- design (component and interaction models for real-time systems,
heterogeneity);
- programming (synchronous, domain specific and aspect-oriented
languages);
- verification and correctness by construction (controller synthesis,
compositionally, …);
- code generation (scheduling, fault-tolerance, compilation, …).
–
————-
Alain GIRAULT http://pop-art.inrialpes.fr/~girault
INRIA senior researcher tel: +(33|0) 476 61 53 51
Head of the POP ART project-team fax: +(33|0) 476 61 52 52
—————————————————————————–
Sauvons la Recherche ! http://www.sauvonslarecherche.fr
—————————————————————————–
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Well during boot it’s open prom/openfirmware that’s reading the disk. My
suspicion is your installed kernel has not the right patch level to support
the disk controller on the v480, your jumpstart env might have a different
kernel and so it can find and load the disks, but the installed env has a
kernel that can not. Booting works because the firmware loads the kernel
and the mini-root using the openfirmware drivers. Once the kernel gets
going though it doesn’t have the drivers for that SCSI chip.
This is a guess, and one would have to corroborate with Sun documentation
to confirm, but I’m betting Sol 9 needs a patch to support the 480. :/
–On February 5, 2009 10:29:18 AM -0700 Kai Hintze
wrote:
>
> Greetings Oh Wizness!
>
> I have one that really has me stumped. I’m hoping that the collective
> Wizdom can shed some light on this for me. I have some Sun v440s and
> v480s that I am trying to jumpstart. They all have the same model 72GB
> disk, paired so I am mirroring with disksuite. The 440s worked great, but
> the 480s lose track of their disks during boot.
>
> Jumpstart acts like it installs, configures, and looks generally good.
> When we try to boot of the disk it starts to boot, but when it tries to
> initialize disksuite it says that there isn’t a metadb. It can’t stat the
> boot disk, so it goes to single-user mode to let me fsck the disk. Which
> I can’t do because there isn’t a disk. But there was one because it just
> booted from it….
>
>
> Rebooting with command: boot
> Boot device: /pci@9,600000/SUNW,qlc@2/fp@0,0/disk@w21000011c6e4e43c,0:a
> File and args:
>
> SunOS Release 5.9 Version Generic_117171-10 64-bit
> Copyright 1983-2003 Sun Microsystems, Inc. All rights reserved.
> Use is subject to license terms.
>
> WARNING: forceload of misc/md_trans failed
> WARNING: forceload of misc/md_raid failed
> WARNING: forceload of misc/md_hotspares failed
> WARNING: forceload of misc/md_sp failed
> WARNING: forceload of misc/md_stripe failed
> WARNING: forceload of misc/md_mirror failed
> configuring IPv4 interfaces: ce0.
> Hostname: NATSMARTSBT1B
> metainit: NATSMARTSBT1B: there are no existing databases
>
>
> The / file system (/dev/rdsk/c1t0d0s0) is being checked.
> Can’t stat /dev/rdsk/c1t0d0s0
> /dev/rdsk/c1t0d0s0: CAN’T CHECK FILE SYSTEM.
> /dev/rdsk/c1t0d0s0: UNEXPECTED INCONSISTENCY; RUN fsck MANUALLY.
>
>
>
> WARNING – Unable to repair the / filesystem. Run fsck
> manually (fsck -F ufs /dev/rdsk/c1t0d0s0). Exit the shell when
> done to continue the boot process.
>
>
> I can boot from the network and see the disks. What happened to the disk
> between booting from them and metastat?
>
> Thanks muchly,
> Kai
>
>
>
> –
>
> To unsubscribe from the UNIX-WIZ Mailing List, send an email to
> LISTSERV@LISTSERV.NODAK.EDU having a body containing only “SIGNOFF
> UNIX-WIZ” minus quotes of course. There are searchable archives located
> at http://listserv.nodak.edu/archives/unix-wiz.html
>
> ———
> ListAdmin: UNIX-WIZ-request@LISTSERV.NODAK.EDU
>
> Contact the above address if you have any problems or questions about the
> list itself!
–
“Genius might be described as a supreme capacity for getting its possessors
into trouble of all kinds.”
– Samuel Butler
–
To unsubscribe from the UNIX-WIZ Mailing List, send an email to
LISTSERV@LISTSERV.NODAK.EDU having a body containing only “SIGNOFF
UNIX-WIZ” minus quotes of course. There are searchable archives located
at http://listserv.nodak.edu/archives/unix-wiz.html
———
ListAdmin: UNIX-WIZ-request@LISTSERV.NODAK.EDU
Contact the above address if you have any problems or questions about the
list itself!
Well during boot it’s open prom/openfirmware that’s reading the disk. My
suspicion is your installed kernel has not the right patch level to support
the disk controller on the v480, your jumpstart env might have a different
kernel and so it can find and load the disks, but the installed env has a
kernel that can not. Booting works because the firmware loads the kernel
and the mini-root using the openfirmware drivers. Once the kernel gets
going though it doesn’t have the drivers for that SCSI chip.
This is a guess, and one would have to corroborate with Sun documentation
to confirm, but I’m betting Sol 9 needs a patch to support the 480. :/
–On February 5, 2009 10:29:18 AM -0700 Kai Hintze
wrote:
>
> Greetings Oh Wizness!
>
> I have one that really has me stumped. I’m hoping that the collective
> Wizdom can shed some light on this for me. I have some Sun v440s and
> v480s that I am trying to jumpstart. They all have the same model 72GB
> disk, paired so I am mirroring with disksuite. The 440s worked great, but
> the 480s lose track of their disks during boot.
>
> Jumpstart acts like it installs, configures, and looks generally good.
> When we try to boot of the disk it starts to boot, but when it tries to
> initialize disksuite it says that there isn’t a metadb. It can’t stat the
> boot disk, so it goes to single-user mode to let me fsck the disk. Which
> I can’t do because there isn’t a disk. But there was one because it just
> booted from it….
>
>
> Rebooting with command: boot
> Boot device: /pci@9,600000/SUNW,qlc@2/fp@0,0/disk@w21000011c6e4e43c,0:a
> File and args:
>
> SunOS Release 5.9 Version Generic_117171-10 64-bit
> Copyright 1983-2003 Sun Microsystems, Inc. All rights reserved.
> Use is subject to license terms.
>
> WARNING: forceload of misc/md_trans failed
> WARNING: forceload of misc/md_raid failed
> WARNING: forceload of misc/md_hotspares failed
> WARNING: forceload of misc/md_sp failed
> WARNING: forceload of misc/md_stripe failed
> WARNING: forceload of misc/md_mirror failed
> configuring IPv4 interfaces: ce0.
> Hostname: NATSMARTSBT1B
> metainit: NATSMARTSBT1B: there are no existing databases
>
>
> The / file system (/dev/rdsk/c1t0d0s0) is being checked.
> Can’t stat /dev/rdsk/c1t0d0s0
> /dev/rdsk/c1t0d0s0: CAN’T CHECK FILE SYSTEM.
> /dev/rdsk/c1t0d0s0: UNEXPECTED INCONSISTENCY; RUN fsck MANUALLY.
>
>
>
> WARNING – Unable to repair the / filesystem. Run fsck
> manually (fsck -F ufs /dev/rdsk/c1t0d0s0). Exit the shell when
> done to continue the boot process.
>
>
> I can boot from the network and see the disks. What happened to the disk
> between booting from them and metastat?
>
> Thanks muchly,
> Kai
>
>
>
> –
>
> To unsubscribe from the UNIX-WIZ Mailing List, send an email to
> LISTSERV@LISTSERV.NODAK.EDU having a body containing only “SIGNOFF
> UNIX-WIZ” minus quotes of course. There are searchable archives located
> at http://listserv.nodak.edu/archives/unix-wiz.html
>
> ———
> ListAdmin: UNIX-WIZ-request@LISTSERV.NODAK.EDU
>
> Contact the above address if you have any problems or questions about the
> list itself!
–
“Genius might be described as a supreme capacity for getting its possessors
into trouble of all kinds.”
– Samuel Butler
–
To unsubscribe from the UNIX-WIZ Mailing List, send an email to
LISTSERV@LISTSERV.NODAK.EDU having a body containing only “SIGNOFF
UNIX-WIZ” minus quotes of course. There are searchable archives located
at http://listserv.nodak.edu/archives/unix-wiz.html
———
ListAdmin: UNIX-WIZ-request@LISTSERV.NODAK.EDU
Contact the above address if you have any problems or questions about the
list itself!
Due to a number of requests to allow for some delays in submission of =20=
papers
to CALCO’09, the deadline has been moved by one week.
See the new dates in the call for papers below and at the CALCO’09 web =20=
page
http://calco09.dimi.uniud.it/
*
Due to a number of requests to allow for some delays in submission of =20=
papers
to CALCO’09, the deadline has been moved by one week.
See the new dates in the call for papers below and at the CALCO’09 web =20=
page
http://calco09.dimi.uniud.it/
*
**********************************************************************
Application deadline 13th of February (for the 5 years position)
and 18th of February (for the 3 years position)
**********************************************************************
The CLIP (Computational Logic, Implementation and Parallelism) group
is searching for candidates for postdoctoral research positions in the
research areas in which the group is involved. A PhD in Computer
Science or related areas is required.
These are research positions (no teaching is compulsory, although it
is allowed) and renewable for up to 3 or 5 years. The initial salary
(for the 5 year positions) is 44370 Euros/year plus an initial budget
of 15000 Euros for travel and other expenses during the first
year. Knowledge of Spanish is not a prerequisite for application and
candidates can be of any nationality. The working language at the CLIP
group for research is English.
The number of positions available depends on the quality of the
applicants. The positions are co-funded by the Spanish Ministry of
Science and Technology and the Technical University of Madrid within
the Ramon y Cajal and Juan de la Cierva programs.
Selection Process:
Interested applicants should send their c.v. and a description of
their research interests to the CLIP group at
hats-grants@clip.dia.fi.upm.es. The CLIP group will perform a
pre-selection of the best applicants based on their scientific merits
and the relevance of their research interests and experience to the
research activities of the group. The CLIP group will then assist the
pre-selected candidates in accomplishing all required steps to present
the required documentation for the final evaluation step. The
applications, will then be sent to the Spanish Ministry of Science and
Technology which performs the final selection. The details of this
step are described here.
http://clip.dia.fi.upm.es/Job_Openings/RyC2009.html
More details on the CLIP group, publications, projects, and research
areas of interest can be found at our WWW site (see e.g. the group
description and the listing of research topics and publications):
http://clip.dia.fi.upm.es/
For more information on any of the above, please contact
hats-grants@clip.dia.fi.upm.es
–
Asian Association for Algorithms and Computation (AAAC) was founded in
2007 to give a place for promoting collaborations of Asian people in
all areas of theoretical computer science. Its inaugural meeting was
held in April 26-27, 2008 in Hong Kong. Now our second meeting, 2nd
AAAC Annual Meeting (AAAC09), will be held in April 11-12, 2009, in
Hangzhou, China. **The deadline for abstract submission is Feb 1st.**
The 2nd Annual Meeting of
Asian Association for Algorithms and Computation
— AAAC 2009 —
http://www.cs.zju.edu.cn/people/yedeshi/aaac09/
April 11-12, 2009
Hangzhou, China
Meeting Format: Two invited talks (see below) and parallel contributed
talks, in which 8-10 ones will be accepted as long talks. Talks start
around 9 a.m. on April 11 (Saturday) and end around 5 p.m. on 12
(Sunday). There will be a conference dinner in the evening of April
11.
Topics: All areas of theoretical computer science, especially design
and analysis of algorithms and complexity theory.
Submissions: Authors are invited to submit one-page (A4) abstracts
that can be based on original results or survey of existing
results. Informal working notes including the one-page abstracts will
be distributed at the meeting, which does not prevent any form of
future publication on the same work. Submission Server is already
open. Visit http://www.aa-ac.org/.
Important Dates
1-page abstract submission due: Feb 1, 2009
Notification: Feb 15, 2009
Early registration deadline: Mar 1, 2009
Conference Dates: April 11-12, 2009.
Keynote Speakers
Xiaotie Deng (City University of Hong Kong)
Gerhard Woeginger (Eindhoven University of Technology)
Program Committee
Hee-Kap Ahn (Postech)
Siu-Wing Cheng (The Hong Kong University of Science and Technology)
Peter Eades (University of Sydney)
Rudolf Fleischer (Fudan University)
Naveen Garg (Indian Institute of Technology, Delhi)
Xiaodong Hu (Chinese Academy of Sciences)
Kazuo Iwama (Kyoto University, Chair)
Chi-Jen Lu (Academia Sinica)
Kazuhisa Makino (University of Tokyo)
Guochuan Zhang (Zhejiang University)
Louxin Zhang (National University of Singapore)
Organize Committee
Deshi Ye (Zhejiang University)
Email address: yedeshi {@ at} zju {.dot} edu {.dot} cn
Guochuan Zhang (Zhejiang University)
Email address: zgc{@ at} zju {.dot} edu {.dot} cn
Contact: “Guochuan Zhang” ,
Kazuo Iwama
Asian Association for Algorithms and Computation (AAAC) was founded in
2007 to give a place for promoting collaborations of Asian people in
all areas of theoretical computer science. Its inaugural meeting was
held in April 26-27, 2008 in Hong Kong. Now our second meeting, 2nd
AAAC Annual Meeting (AAAC09), will be held in April 11-12, 2009, in
Hangzhou, China. **The deadline for abstract submission is Feb 1st.**
The 2nd Annual Meeting of
Asian Association for Algorithms and Computation
— AAAC 2009 —
http://www.cs.zju.edu.cn/people/yedeshi/aaac09/
April 11-12, 2009
Hangzhou, China
Meeting Format: Two invited talks (see below) and parallel contributed
talks, in which 8-10 ones will be accepted as long talks. Talks start
around 9 a.m. on April 11 (Saturday) and end around 5 p.m. on 12
(Sunday). There will be a conference dinner in the evening of April
11.
Topics: All areas of theoretical computer science, especially design
and analysis of algorithms and complexity theory.
Submissions: Authors are invited to submit one-page (A4) abstracts
that can be based on original results or survey of existing
results. Informal working notes including the one-page abstracts will
be distributed at the meeting, which does not prevent any form of
future publication on the same work. Submission Server is already
open. Visit http://www.aa-ac.org/.
Important Dates
1-page abstract submission due: Feb 1, 2009
Notification: Feb 15, 2009
Early registration deadline: Mar 1, 2009
Conference Dates: April 11-12, 2009.
Keynote Speakers
Xiaotie Deng (City University of Hong Kong)
Gerhard Woeginger (Eindhoven University of Technology)
Program Committee
Hee-Kap Ahn (Postech)
Siu-Wing Cheng (The Hong Kong University of Science and Technology)
Peter Eades (University of Sydney)
Rudolf Fleischer (Fudan University)
Naveen Garg (Indian Institute of Technology, Delhi)
Xiaodong Hu (Chinese Academy of Sciences)
Kazuo Iwama (Kyoto University, Chair)
Chi-Jen Lu (Academia Sinica)
Kazuhisa Makino (University of Tokyo)
Guochuan Zhang (Zhejiang University)
Louxin Zhang (National University of Singapore)
Organize Committee
Deshi Ye (Zhejiang University)
Email address: yedeshi {@ at} zju {.dot} edu {.dot} cn
Guochuan Zhang (Zhejiang University)
Email address: zgc{@ at} zju {.dot} edu {.dot} cn
Contact: “Guochuan Zhang” ,
Kazuo Iwama