[[[ Apologies for multiple copies of this message ]]] Doctoral Student Positions Available Design and Verification of Embedded Software Embedded System Research Unit Fondazione Bruno Kessler (formerly part of IRST – Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy Deadlines: May 31, 2008 The Embedded System Research Unit (http://es.fbk.eu) of the Bruno Kessler Foundation, [...]
CALL FOR PARTICIPATION STOC 2008: 40th Annual ACM Symposium on Theory of Computing Victoria Conference Centre, Victoria, British Columbia, Canada May 17-20, 2008 http://www.csc.uvic.ca/~stoc2008/ The 40th Annual ACM Symposium on Theory of Computing will be held May 17- 20, 2008 in Victoria in beautiful British Columbia, Canada. Please refer to t he conference web page [...]
That works wonderfully. Thanks, Kevin! root@myserver:/tmp# netstat -a | grep CLOSE_ bkserv.bprd bkclient.63670 49640 0 49640 0 CLOSE_WAIT root@myserver:/tmp# lsof -i “TCP@255.255.170.91:60504″ COMMAND PID USER FD TYPE DEVICE SIZE/OFF NODE NAME bprd 1688 root 5u IPv4 0x3005e146f70 0t234 TCP bkserv:bprd->bkclient:60504 (CLOSE_WAIT) root@myserver:/tmp# – Kai On Mon, Apr 7, 2008 at 1:49 PM, Kevin Inscoe wrote: [...]
On Mon, Apr 7, 2008 at 3:38 PM, Kai Hintze wrote: > Greetings oh Wizeness, > > How do I find out what process holds a socket on Solaris 8 (Sparc)? > > If I were using most flavors of Linux I would say > > fuser -n TCP > > to find out the [...]
Greetings oh Wizeness, How do I find out what process holds a socket on Solaris 8 (Sparc)? If I were using most flavors of Linux I would say fuser -n TCP to find out the process that is using that socket. But this box is Solaris 8, and the only thing fuser knows about for [...]
2nd CALL FOR PAPERS BPR’08 – The 1st International Workshop on Bit-Precise Reasoning Location: Princeton, New Jersey. July 14th, 2008. (Affiliated with CAV 2008.) Website: http://www.bit-precise-reasoning.org/ Bit-Precise Reasoning is increasingly being used for the analysis of many real world hardware and software systems. Current applications include microcode validation, word-level model checking, software verification, equivalence checking, [...]
2nd CALL FOR PAPERS BPR’08 – The 1st International Workshop on Bit-Precise Reasoning Location: Princeton, New Jersey. July 14th, 2008. (Affiliated with CAV 2008.) Website: http://www.bit-precise-reasoning.org/ Bit-Precise Reasoning is increasingly being used for the analysis of many real world hardware and software systems. Current applications include microcode validation, word-level model checking, software verification, equivalence checking, [...]
http://www.it-innovations.ae/”>http://www.it-innovations.ae/ | ————————————————————————- AIM ———————————————————————— The aim of the conference is to bring together leading engineers, scientists, researchers and academics in IT from around the world. ———————————————————————— BACKGROUND ———————————————————————— Innovations in Information Technology (Innovations’08), is a premier forum for the presentation and discussion of technology advances and research results in [...]